REDAMALLA, Rekha
REDAMALLA, Rekha
DIMI - DIPARTIMENTO DI MATEMATICA E INFORMATICA (attivo dal 01/01/1900 al 31/12/2015)
Mostra
records
Risultati 1 - 5 di 5 (tempo di esecuzione: 0.014 secondi).
Categories of Coalgebraic Games
2012-01-01 Honsell, Furio; Lenisa, Marina; Redamalla, Rekha
Coalgebraic Description of Generalized Binary Methods
2007-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
Equivalences and Congruences on Infinite Conway's Games
2012-01-01 Honsell, Furio; Lenisa, Marina; Redamalla, Rekha
Strict Geometry of Interaction Graph Models
2003-01-01 Honsell, Furio; Lenisa, Marina; Redamalla, Rekha
Titolo | Data di pubblicazione | Autore(i) | File |
---|---|---|---|
Categories of Coalgebraic Games | 1-gen-2012 | Honsell, Furio; Lenisa, Marina; Redamalla, Rekha | |
Coalgebraic Description of Generalized Binary Methods | 1-gen-2007 | 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 | |
Equivalences and Congruences on Infinite Conway's Games | 1-gen-2012 | Honsell, Furio; Lenisa, Marina; Redamalla, Rekha | |
Strict Geometry of Interaction Graph Models | 1-gen-2003 | Honsell, Furio; Lenisa, Marina; Redamalla, Rekha |