Infinity in logic and computation
by ILC 2007 (2007 Cape Town, South Africa)
- ISBN
- 9783642030918
Infinity in logic and computation est un machine theory, computational complexity book de ILC 2007 (2007 Cape Town, South Africa).
À propos de ce livre
'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.
À propos de l'auteur
est l'auteur de Infinity in logic and computation. Parcourez son catalogue complet sur Booklogr.
Explorez plus de livres de ILC 2007 (2007 Cape Town, South Africa) →Éditions et Formats
Critiques
Pas encore de critiques. Avez-vous lu ce livre ? Partagez vos impressions avec la communauté Booklogr.
Se connecter Connectez-vous pour écrire une critique
Questions Fréquentes
Quel est le genre de Infinity in logic and computation ?+
Infinity in logic and computation est un livre de Machine theory, Computational complexity, Symbolic and mathematical Logic, Berechenbarkeit.
De quoi parle 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...
Qui a écrit Infinity in logic and computation ?+
Infinity in logic and computation a été écrit par ILC 2007 (2007 Cape Town, South Africa).