| Scheda: 21/32 | |
|---|---|
| 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 |
Rimuovi da preferiti
Aggiungi a preferiti