Properties of a Logical System in the Calculus of Structures

Theses

• Suggested Thesis Topics
• Completed Theses
  • Algebra und Diskrete Strukturen
  • Automatentheorie
  • Computational Logic
  • Knowledge-aware Artificial Intelligence
  • Logische Programmierung und Argumentation
  • Verifikation und formale quantitative Analyse
  • Wissensbasierte Systeme
• Currently Ongoing Theses

Toggle side column

Properties of a Logical System in the Calculus of Structures

Master's thesis by Alwen Fernanto Tiu

•   Supervisor Steffen Hölldobler
•   Wissensverarbeitung
•   2001 – 2001

(Description available only in German) Unfortunately, there is no description available.