Sfoglia per Rivista ZEITSCHRIFT FÜR MATHEMATISCHE LOGIK UND GRUNDLAGEN DER MATHEMATIK
Mostrati risultati da 1 a 5 di 5
Atoms in modal algebras.
1983-01-01 Bellissima, Fabio
On a definition of 1st-order translations of the theory of geometric closure structures.
1982-01-01 Pasini, Antonio
On the Unadequacy of the relational semantic for the "Until" operator.
1992-01-01 Bellissima, Fabio; Ciupi, A.
Reducibility in some categories of partial recursive operators
1992-01-01 Sorbi, Andrea
Some Quotient Lattices of the Medvedev Lattice
1991-01-01 Sorbi, A.
| Titolo | Data di pubblicazione | Autore(i) | File | Abstract |
|---|---|---|---|---|
| Atoms in modal algebras. | 1-gen-1983 | Bellissima, Fabio | - | |
| On a definition of 1st-order translations of the theory of geometric closure structures. | 1-gen-1982 | Pasini, Antonio | - | |
| On the Unadequacy of the relational semantic for the "Until" operator. | 1-gen-1992 | Bellissima, Fabio; Ciupi, A. | - | |
| Reducibility in some categories of partial recursive operators | 1-gen-1992 | Sorbi, Andrea | - | |
| Some Quotient Lattices of the Medvedev Lattice | 1-gen-1991 | Sorbi, A. | - |
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