Sfoglia per Autore REDAMALLA, Rekha
Mostrati risultati da 1 a 5 di 5
Strict Geometry of Interaction Graph Models
2003-01-01 Honsell, Furio; Lenisa, Marina; Redamalla, Rekha
Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-language
2004-01-01 Honsell, Furio; Lenisa, Marina; Redamalla, Rekha
Coalgebraic Description of Generalized Binary Methods
2007-01-01 Honsell, Furio; Lenisa, Marina; Redamalla, Rekha
Categories of Coalgebraic Games
2012-01-01 Honsell, Furio; Lenisa, Marina; Redamalla, Rekha
Equivalences and Congruences on Infinite Conway's Games
2012-01-01 Honsell, Furio; Lenisa, Marina; Redamalla, Rekha
| Titolo | Data di pubblicazione | Autore(i) | File |
|---|---|---|---|
| Strict Geometry of Interaction Graph Models | 1-gen-2003 | Honsell, Furio; Lenisa, Marina; Redamalla, Rekha | |
| Coalgebraic Semantics and Observational Equivalences of an Imperative Class-based OO-language | 1-gen-2004 | Honsell, Furio; Lenisa, Marina; Redamalla, Rekha | |
| Coalgebraic Description of Generalized Binary Methods | 1-gen-2007 | Honsell, Furio; Lenisa, Marina; Redamalla, Rekha | |
| Categories of Coalgebraic Games | 1-gen-2012 | Honsell, Furio; Lenisa, Marina; Redamalla, Rekha | |
| Equivalences and Congruences on Infinite Conway's Games | 1-gen-2012 | Honsell, Furio; Lenisa, Marina; Redamalla, Rekha |
Mostrati risultati da 1 a 5 di 5
Legenda icone
- file ad accesso aperto
- file disponibili sulla rete interna
- file disponibili agli utenti autorizzati
- file disponibili solo agli amministratori
- file sotto embargo
- nessun file disponibile