Richard Molitor

	Kontakt

Veröffentlichungen

2015

• Open Inductive Predicates
  2015 : R. Molitor

Bearbeitete Studien- und Abschlussarbeiten

• Offene induktive Prädikate (abgeschlossen), Masterarbeit