Automata Theory: Completed Theses
From International Center for Computational Logic
Completed Theses
Research group: Automatentheorie
Master's Theses
- Finite Herbrand Models for Monadic Clauses with Unary Function Symbols
- by Muhammad Zahid Zia (14 April 2016)
- Supervisor: Franz Baader, Stefan Borgwardt
- Iterative Ontology Update with Minimum Change
- by Aparna Saisree Thuluva (9 März 2015)
- Supervisor: Rafael Peñaloza Nyssen
