Automata Theory

From International Center for Computational Logic
Toggle side column

Automata Theory

Prof. Dr.-Ing. Franz Baader was appointed to the chair of automata theory in 2002. His chair offers basic and in-depth courses for various degree programmes, and conducts research in the areas of deduction, knowledge representation, as well as computing with molecules.

Further information: https://lat.inf.tu-dresden.de

Further information can be found on the web site of the Automata Theory research group.