Developments in Language Theory
13th International Conference, DLT 2009, Stuttgart, Germany, June 30--July 3, 2009, Proceedings
Buch in deiner Nähe kaufen
oder
Beschreibung
Autor*in
Volker Diekert
Themen in »Developments in Language Theory«
Alphabet Erfüllbarkeitsproblem der Aussagenlogik Kuratowski Variable automata automata theory boolean satisfiability problem complexity computability formal language formal languages grammars logic petri net regular expressions
Stimmen zu »Developments in Language Theory«
Details
ISBN: 9783642027369
Verlag: Springer Berlin
Erscheinung: 22.06.2009