An edition of Infinity in logic and computation (2009)
Infinity in logic and computation
international conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, revised selected papers
By ILC 2007 (2007 Cape Town, South Africa)
0 (0 Ratings)
0 Want to read0 Currently reading0 Have read
0 Want to read0 Currently reading0 Have read
Publish Date
2009
Publisher
Springer
Language
eng
Pages
137
Description:
'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.