Infinity in logic and computation International Conference, ILC 2007, Cape Town, South Africa, November 3 - 5, 2007; revised selected papers

'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; ran...

Ausführliche Beschreibung

Bibliographische Detailangaben

Körperschaft:	ILC (BerichterstatterIn)
Weitere Verfasser:	Archibald, Margaret (HerausgeberIn), Brattka, Vasco (BerichterstatterIn), Goranko, Valentin F. (BerichterstatterIn), Löwe, Benedikt (BerichterstatterIn)
Format:	UnknownFormat
Sprache:	eng
Veröffentlicht:	Berlin, Heidelberg u.a. Springer 2009
Schriftenreihe:	Lecture notes in computer science 5489 : Lecture notes in artificial intelligence
Schlagworte:	Computational complexity > Machine theory > Logic, Symbolic and mathematical > Konferenzschrift > Unendlichkeit > Logik > Berechenbarkeit
Online Zugang:	Inhaltstext Inhaltsverzeichnis
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!