| |
|
|
|
|
|
|
|
|
1. |
Record Nr. |
UNICAMPANIAVAN00054391 |
|
|
Autore |
Buchi, J. Richard |
|
|
Titolo |
Finite automata, their algebras and grammars : towards a theory of formal expressions / J. Richard Buchi ; editor Dirk Siefkes |
|
|
|
|
|
|
|
Pubbl/distr/stampa |
|
|
New York, : Springer, 1989 |
|
|
|
|
|
|
|
ISBN |
|
|
|
|
|
|
Descrizione fisica |
|
XXII, 316 p. : ill. ; 24 cm |
|
|
|
|
|
|
Soggetti |
|
68-XX - Computer science [MSC 2020] |
68Q42 - Grammars and rewriting systems [MSC 2020] |
68Q70 - Algebraic theory of languages and automata [MSC 2020] |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
|
2. |
Record Nr. |
UNICAMPANIAVAN00298387 |
|
|
Autore |
Wansing, Heinrich |
|
|
Titolo |
Displaying Modal Logic / Heinrich Wansing |
|
|
|
|
|
Pubbl/distr/stampa |
|
|
Dordrecht, : Springer, : Kluwer, 1998 |
|
|
|
|
|
|
|
Descrizione fisica |
|
|
|
|
|
|
Soggetti |
|
03-XX - Mathematical logic and foundations [MSC 2020] |
03B44 - Temporal logic [MSC 2020] |
03B45 - Modal logic (including the logic of norms) [MSC 2020] |
03B47 - Substructural logics (including relevance, entailment, linear logic, Lambek calculus, BCK and BCI logics) [MSC 2020] |
03B53 - Paraconsistent logics [MSC 2020] |
03F03 - Proof theory, general (including proof-theoretic semantics) [MSC 2020] |
|
|
|
|
|
|
|
|
Lingua di pubblicazione |
|
|
|
|
|
|
Formato |
Materiale a stampa |
|
|
|
|
|
Livello bibliografico |
Monografia |
|
|
|
|
| |