Name Card

Full name Familienname, Vorname
Libal, Tomer
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 1-6 of 6 (Search time: 0.001 seconds).

PreviewAuthor(s)TitleTypeIssue Date
1Pascucci, Matteo ; Libal, Tomer Automated reasoning in normative detachment structures with ideal conditionsKonferenzbeitrag Inproceedings 2019
2Pascucci, Matteo ; Libal, Tomer Automated Reasoning in Normative Detachment Structures with Ideal ConditionsPreprint Preprint2018
3Leitsch, Alexander ; Libal, Tomer ; Riener, Martin ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno ; Dunchev, Tsvetan Prooftool: a GUI for the GAPT FrameworkKonferenzbeitrag Inproceedings 2013
4Dunchev, Cvetan ; Leitsch, Alexander ; Libal, Tomer ; Riener, Martin ; Rukhaia, Mikheil ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno System feature description: importing refutations into the GAPT frameworkKonferenzbeitrag Inproceedings2012
5Libal Tomer - 2012 - Unification in higher-order resolution.pdf.jpgLíbal, Tomer Unification in higher-order resolutionThesis Hochschulschrift 2012
6Leitsch, Alexander ; Dunchev, Tsvetan ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno ; Libal, Tomer System Description: The Proof Transformation System CERESKonferenzbeitrag Inproceedings2010