Kragl, Bernhard
Full name Familienname, Vorname
Kragl, Bernhard
Results 1-3 of 3 (Search time: 0.001 seconds).
| Preview | Authors / Editors | Title | Type | Issue Date | |
|---|---|---|---|---|---|
| 1 | Blanc, Régis ; Gupta, Ashutosh ; Kovács, Laura ; Kragl, Bernhard ; Kenneth, McMillan ; Middeldorp, Aart ; Voronkov, Andrei | Tree Interpolation in Vampire | Konferenzbeitrag Inproceedings  | 2013 | |
| 2 | Gupta, Ashutosh ; Kovács, Laura ; Kragl, Bernhard ; Voronkov, Andrei ; Cassez, Franck ; Raskin, Jean-Francois | Extensional Crisis and Proving Identity | Konferenzbeitrag Inproceedings | 2014 | |
| 3 |  | Kragl, Bernhard ; Qadeer, Shaz | The Civl Verifier | Konferenzbeitrag Inproceedings   | Oct-2021 |