Infinity in logic and computation
by ILC 2007 (2007 Cape Town, South Africa)
- ISBN
- 9783642030918
Infinity in logic and computation is a machine theory, computational complexity book by ILC 2007 (2007 Cape Town, South Africa).
About this book
'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.
About the Author
is the author of Infinity in logic and computation. Browse their full catalog on Booklogr.
Explore more books by ILC 2007 (2007 Cape Town, South Africa) →Editions & Formats
Reviews
No reviews yet. Have you read this book? Share your thoughts with the Booklogr community.
Sign in Sign in to write a review
Frequently Asked Questions
What genre is Infinity in logic and computation?+
Infinity in logic and computation is a Machine theory, Computational complexity, Symbolic and mathematical Logic, Berechenbarkeit book.
What is Infinity in logic and computation about?+
'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...
Who wrote Infinity in logic and computation?+
Infinity in logic and computation was written by ILC 2007 (2007 Cape Town, South Africa).