Infinity in logic and computation : international conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, revised selected papers / Margaret Archibald [and others].
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; randomnes...
Saved in:
| Main Author: | |
|---|---|
| Corporate Author: | |
| Format: | Ebook |
| Language: | English |
| Published: |
Berlin ; New York :
Springer,
[2009]
|
| Series: | Lecture notes in computer science ;
5489. Lecture notes in computer science. Lecture notes in artificial intelligence LNCS sublibrary. Artificial intelligence |
| Subjects: | |
| Online Access: | Springer eBooks |
| Summary: | 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. |
|---|---|
| Physical Description: | 1 online resource (xi, 137 pages) : illustrations. |
| Bibliography: | Includes bibliographical references and index. |
| ISSN: | 0302-9743 ; |