Prof. Dr.-Ing. Franz BaaderPerson
Person
- Professor (rtd.) for Automata Theory- Senior Professor
- Faculty of Mathematics- Associated/Co-opted member of the faculty
Affiliations
Research interests
Logic in Computer Science, Automated Reasoning, Term Rewriting, Unification, Knowledge Representation, Description Logic, Automata Theory
Identification Numbers
| ORCID | 
0000-0002-4049-221X |
|---|---|
| Scopus author ID | 26643645200 |