Dettaglio del documento
Logical Methods : In Honor of Anil Nerode’s Sixtieth Birthday
- Scheda
- Links
| eBook | ||
| Monografia | ||
| Descrizione | *Logical Methods : In Honor of Anil Nerode’s Sixtieth Birthday / John N. Crossley ... [et al.]. - New York : Springer ; Boston : Birkhäuser, 1993. - xii, 813 p. ; 24 cm | |
| ISBN E-Book | 9781461203254 | |
| Collana | Progress in computer science and applied logic , 12 | |
| Autore secondario |
|
|
|
||
| Soggetti | 03-XX - Mathematical logic and foundations [MSC 2020] | |
| 68Q70 - Algebraic theory of languages and automata [MSC 2020] | ||
| 68Qxx - Theory of computing [MSC 2020] | ||
| Parole chiave |
Algorithms
Automata Automata theory Calculus Combinatorics Computability Computer Science Decidability Equivalence Logic Model theory Problem Solving Proofs Semantics |
|
| Luogo pubblicazione | New York | |
| Boston | ||
| Editori | Birkhäuser <editore> | |
| Springer <editore> | ||
| Anno pubblicazione | 1993 | |
| Thesauri | 03-XX | |
| 68Q70 | ||
| 68Qxx | ||
| Algebraic theory of languages and automata [MSC 2020] | ||
| Mathematical logic and foundations [MSC 2020] | ||
| Theory of computing [MSC 2020] |