RESEARCH GROUP

THEORETICAL

COMPUTER SCIENCE

Sitemap

• Staff
  • Till Mossakowski
  • Mihai Codescu
  • Fabian Neuhaus
  • Bernd Reichel
  • Dagmar Dörge
  • Martin Glauer
• Teaching
• Research
  • QSTR
  • DOL
  • Hets
    • Obtaining Hets
    • Documentation
  • open_eGo
  • Open_FRED
  • SzenarienDB
  • eGoⁿ
• Publications