Name Card

Full name Familienname, Vorname
Sutcliffe, Geoff
 

Contributing Publications Mitbeteiligte Publikationen

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

PreviewAuthors / EditorsTitleTypeIssue Date
1Gleiss, Bernhard ; Kovács, Laura ; Robillard, Simon Loop Analysis by Quantification over IterationsKonferenzbeitrag Inproceedings 2018
2Eiter, Thomas ; Sands, David ; Sutcliffe, Geoff ; Voronkov, Andrei IWIL@LPAR 2017 Workshop and LPAR-21 Short Presentations, Maun, Botswana, May 7-12, 2017. Kalpa Publications in Computing, Volume 1Konferenzband Proceedings 2017
3Leitsch, Alexander ; Hetzl, Stefan ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno Transforming and Analyzing Proofs in the CERES-systemKonferenzbeitrag Inproceedings 2008
4Leitsch, Alexander ; Hetzl, Stefan ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno Proof Analysis with HLK, CERES and ProofTool: Current Status and Future DirectionsKonferenzbeitrag Inproceedings2008
5Baaz, Matthias ; Hetzl, Stefan ; Leitsch, Alexander ; Richter, Clemens ; Spohr, Hendrik System Description: The Cut-Elimination System CERESKonferenzbeitrag Inproceedings2006
6Baaz, Matthias On interpolation in existence logicsKonferenzbeitrag Inproceedings2005