Name Card

Full name Familienname, Vorname
Kragl, Bernhard
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

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

PreviewAuthor(s)TitleTypeIssue Date
1Kragl-2021-The Civl Verifier-vor.pdf.jpgKragl, Bernhard ; Qadeer, Shaz The Civl VerifierInproceedings Oct-2021
2Kragl Bernhard - 2014 - Reasoning in first-order theories with extensionality.pdf.jpgKragl, Bernhard Reasoning in first-order theories with extensionalityThesis Hochschulschrift 2014
3Gupta, Ashutosh ; Kovács, Laura ; Kragl, Bernhard ; Voronkov, Andrei Extensional Crisis and Proving IdentityKonferenzbeitrag Inproceedings 2014
4Blanc, Régis ; Gupta, Ashutosh ; Kovács, Laura ; Kragl, Bernhard Tree Interpolation in VampireKonferenzbeitrag Inproceedings 2013