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; randomness and computability; transfinite computation; and verification of infinite sate systems."--Preface.

שנה

2009

שפה

English

סדרה

Lecture notes in computer science -- 5489

הוצאה

Springer

מהדורות

1

עמודים

137

ISBN

9783642030918

מקור הנתונים: Wikidata