Refine your search
Availability
-
Authors
- Abdulla, Parosh Aziz
- Bojanczyk, Mikolai
- Bournez, Olivier
- Delzanno, Giorgio
- Filiot, Emmanuel
- Finkel, Alain
- Formenti, Enrico
- Hague, Matthew
- Jungers, Raphaël
- Kucera, Antonin
- Larsen, Kim Guldstra...
- Lasota, Slawomir
- Leroux, Jerome
- Lin, Anthony W.
- Ouaknine, Joel
- Potapov, Igor
- Reynier, Pierre-Alai...
- Srba, Jiří
- Totzke, Patrick
- Worrell, James
- Show more
- Show less
-
Item types
-
Series
-
Topics
- Algorithms
- Artificial Intellige...
- Artificial intellige...
- Compilers (Computer ...
- Compilers and Interp...
- Computer engineering
- Computer Engineering...
- Computer programming
- Computer science
- Computer Science Log...
- Design and Analysis ...
- Formal Languages and...
- Logic in AI.
- Logic programming
- Machine theory
- Mathematics of Compu...
- Software Engineering
- Software engineering
- Theory of Computatio...
- Show more
- Show less