%0 Generic
%T Automatentheorie und Logik
%A Hofmann, Martin
%A Lange, Martin
%I Springer-Verlag Berlin Heidelberg
%@ 9783642180903
%K Computer science
%K Computer Science
%K Mathematical logic.
%K Aufgabensammlung
%K Endlicher Automat
%K Formale Sprache
%K Wort Informatik
%K Baum Mathematik
%K Monadische Logik
%K Automatentheorie
%K Logik
%D 2011
%X Includes bibliographical references and index
%X T. 1. Endliche Wörter -- T. 2. Undendliche Wörter -- T. 3. Endliche Bäume -- T. 4. Unendliche Bäume.
%C Springer-Verlag Berlin Heidelberg
%C Berlin, Heidelberg
%U http://slubdd.de/katalog?TN_libero_mab2
Download citation