Infinity in logic and computation
by ILC 2007 (2007 Cape Town, South Africa)
- ISBN
- 9783642030918
Infinity in logic and computation è un machine theory, computational complexity book di ILC 2007 (2007 Cape Town, South Africa).
Informazioni su questo libro
'The topics of the conference included automata on infinite objects; combinatorics, cryptography and complexity; computability and complexity on the real numbers; infinite games and their connections to logic; logic, computability, and complexity in finitely presentable infinite structures; randomness and computability; transfinite computation; and verification of infinite sate systems."--Preface.
Sull'Autore
è l'autore di Infinity in logic and computation. Esplora il suo catalogo completo su Booklogr.
Esplora altri libri di ILC 2007 (2007 Cape Town, South Africa) →Edizioni e Formati
Recensioni
Nessuna recensione ancora. Hai letto questo libro? Condividi le tue impressioni con la comunità di Booklogr.
Accedi Accedi per scrivere una recensione
Domande Frequenti
Di che genere è Infinity in logic and computation?+
Infinity in logic and computation è un libro di Machine theory, Computational complexity, Symbolic and mathematical Logic, Berechenbarkeit.
Di cosa parla Infinity in logic and computation?+
'The topics of the conference included automata on infinite objects; combinatorics, cryptography and complexity; computability and complexity on the real numbers; infinite games and their connections to logic; logic, computability, and complexity in finitely presentable infinite structures; randomne...
Chi ha scritto Infinity in logic and computation?+
Infinity in logic and computation è stato scritto da ILC 2007 (2007 Cape Town, South Africa).