Monografie
Logic and games on automatic structures : playing with quantifiers and decompositions
- Sprache
-
Englisch
- Umfang
-
XII, 118 S.
- Anmerkungen
-
Zugl.: Aachen, Techn. Hochsch., Diss., 2008
- ISBN
-
978-3-642-22806-3
- Identifier
-
101314595X
- Reihe
-
Lecture notes in computer science; 6810 : Lecture notes in artificial intelligence ; FoLLI publications on logic, language and information
Thema
Spieltheorie ; Automat ; Mathematische Logik ; Model Checking ; Lindström-Quantor ; Hochschulschrift
Beteiligte Personen und Organisationen
- Inhaltsverzeichnis
- Rechteinformation
-
Der Zugriff auf Teile des Objekts ist unbeschränkt möglich.
- Letzte Aktualisierung
-
15.04.2024, 08:43 MESZ
Objekttyp
- Monografie
Ähnliche Objekte (12)
Logic and the foundations of game and devision theory : 8th international conference ; revised selected papers
Logic and grammar : essays dedicated to Alain Lecomte on the occasion of his 60th birthday ; [Festschrift]
Logic, rationality, and interaction : third International Workshop ; proceedings
Ludics, dialogue and interaction : PRELUDE project - 2006 - 2009 ; revised selected papers
Tools for teaching logic : third international congress ; proceedings
Language, games, and evolution : trends in current research on language and game theory
Logic, language, and computation : revised selected papers
Infinity in logic and computation : international conference ; revised selected papers
Logical aspects of computational linguistics : 6th international conference ; proceedings
Logical aspects of computational linguistics : 5th international conference ; proceedings
Dependency structures and lexicalized grammars : an algebraic approach
Logic, rationality, and interaction : 4th international workshop ; proceedings
Logic and the foundations of game and devision theory : 8th international conference ; revised selected papers
Logic and grammar : essays dedicated to Alain Lecomte on the occasion of his 60th birthday ; [Festschrift]
Logic, rationality, and interaction : third International Workshop ; proceedings
Ludics, dialogue and interaction : PRELUDE project - 2006 - 2009 ; revised selected papers
Tools for teaching logic : third international congress ; proceedings
Language, games, and evolution : trends in current research on language and game theory
Logic, language, and computation : revised selected papers
Infinity in logic and computation : international conference ; revised selected papers
Logical aspects of computational linguistics : 6th international conference ; proceedings
Logical aspects of computational linguistics : 5th international conference ; proceedings
Dependency structures and lexicalized grammars : an algebraic approach
Logic, rationality, and interaction : 4th international workshop ; proceedings
Logic and the foundations of game and devision theory : 8th international conference ; revised selected papers
Logic and grammar : essays dedicated to Alain Lecomte on the occasion of his 60th birthday ; [Festschrift]
Logic, rationality, and interaction : third International Workshop ; proceedings
Ludics, dialogue and interaction : PRELUDE project - 2006 - 2009 ; revised selected papers
Tools for teaching logic : third international congress ; proceedings
Language, games, and evolution : trends in current research on language and game theory
Logic, language, and computation : revised selected papers
Infinity in logic and computation : international conference ; revised selected papers
Logical aspects of computational linguistics : 6th international conference ; proceedings
Logical aspects of computational linguistics : 5th international conference ; proceedings
Dependency structures and lexicalized grammars : an algebraic approach