research report      name index      key word index      corresp.unit            Page in german   


Research focus:  

 Lehrstuhl für Informatik IV
Institut für Informatik, Am Hubland, 97074 Würzburg
Mail: wagner@informatik.uni-wuerzburg.de
Url: http://www-info4.informatik.uni-wuerzburg.de

Scientific members:

   Outside lecturer:

   Scientific assistants:

Research foci (and basic equipment-based research projects):
Characterizing complexity classes using leaf languages

Links:
Blattsprachen und endliche Automaten
A Generalization of the Büchi-Elgot-Trakhtenbrot Theorem
Generic Separations and Leaf Languages