Name Card

Full name Familienname, Vorname
Líbal, Tomer
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Hetzl, Stefan ; Libal, Tomer ; Riener, Martin ; Rukhaia, Mikheil Understanding resolution proofs through Herbrand's TheoremKonferenzbeitrag Inproceedings 2013
2Libal Tomer - 2008 - Cut elimination in inductive proofs of weakly quantified...pdf.jpgLibal, Tomer Cut elimination in inductive proofs of weakly quantified theoremsThesis Hochschulschrift 2008