Algebraic and Logical Foundations of Computer Science: Completed Theses

Theses

• Suggested Thesis Topics
• Completed Theses
  • Algebra und Diskrete Strukturen
  • Algebraische und logische Grundlagen der Informatik
  • Automatentheorie
  • Computational Logic
  • Knowledge-aware Artificial Intelligence
  • Logische Programmierung und Argumentation
  • Wissensbasierte Systeme
• Currently Ongoing Theses

Toggle side column

Completed Theses

Research group: Algebraische und logische Grundlagen der Informatik