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)