Scheda: 1/1 | |
---|---|
Livello bibliografico | Monografia |
Tipo di materiale | Testo a stampa |
Autore principale | D'Agostino, Giovanna |
Titolo | A note on bisimulation quantifiers and fixed points over transitive frames / Giovanna D'Agostino, Giacomo Lenzi. |
Pubblicazione | Pisa : Università, Dipartimento di Matematica, 2006 |
Descrizione fisica | 13 p. ; 30 cm. |
Lingua di pubblicazione | eng |
Paese di pubblicazione | IT |
Note | Sezione di Logica matematica ; 1626.
|
Nomi | [Autore] D'Agostino, Giovanna
[Autore] Lenzi, Giacomo [Autore] Università degli Studi <Pisa> : Dipartimento di Matematica L. Tonelli |
Identificativo record | BP00018229 |
Biblioteca | Collocazione | Inventario | Note di esemplare | Numero dei volumi o consistenze dei periodici | Fruizione |
---|---|---|---|---|---|
Biblioteca universitaria | Pubbl. Univ. Pisa 17. 1463 | 477069 |