Hetzl, Stefan

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Hetzl, Stefan
 
Main Affiliation Organisations­zuordnung
 

Contributing Publications Mitbeteiligte Publikationen

Filter:
Subject:  automated deduction

Results 1-2 of 2 (Search time: 0.004 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Ebner Gabriel - 2021 - Inductive theorem proving based on tree grammars.pdf.jpgEbner, Gabriel Inductive theorem proving based on tree grammarsThesis Hochschulschrift 2021
2Vierling Jannik Tim - 2018 - Zyklische Superposition und Induktion.pdf.jpgVierling, Jannik Tim Zyklische Superposition und InduktionThesis Hochschulschrift 2018