Francesco Kriegel

Dr.-Ing. Francesco Kriegel

Research AssociateTechnische Universität Dresdenhttp://www.tu-dresden.deInternational Center for Computational Logichttps://iccl.inf.tu-dresden.de Automata Theory

• Personal homepage
• DBLP
• Google Scholar

•   francesco.kriegel@tu-dresden.de
•   +49 351 463 38253
•   APB 3022

Please visit my personal homepage for further up-to-date information.

• Publications
• Teaching

Newest Publications

View full publication list

Courses

• Automata and Logic (WS 2018)
• Term Rewriting Systems (SS 2018)
• Theoretische Informatik und Logik (SS 2017)
• Introduction to Automatic Structures (SS 2016)
• Database Theory (SS 2016)
  
  show further courses