Infinity in logic and computation
Subtitle: international conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, revised selected papers
By: Margaret Archibald ... [et al.].
Contributors: Archibald, Margaret
Series: Lecture notes in computer science -- 5489; Lecture notes in artificial intelligence; LNCS sublibrary: SL 7 - Artificial intelligence; LNCS sublibrary; Lecture notes in computer science -- 5489.; Lecture notes in computer science
Publisher: Springer
Published: 2009
Place of publication: Berlin
Language: eng
Number of pages: 137
ISBN-13: 9783642030918
Subjects: Machine theory; Computational complexity; Symbolic and mathematical Logic; Berechenbarkeit; Congresses; Unendlichkeit; Logik
Other titles: ILC 2007
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.
Notes: Includes bibliographical references and index.