Logic and Automata
Autor: | Flum, Jörg, Grädel, Erich, Wilke, Thomas |
---|---|
Předmět: | |
Kategorie: | |
Popis: | This collection of papers deal with challenges in disciplines such as complexity theory, games, algorithms and semi group theory and discuss current chellenges in this field. |
Databáze: | eBook Collection (EBSCOhost) |
Externí odkaz: |