Woltzenlogel-Paleo, Bruno

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname
Woltzenlogel-Paleo, Bruno
 
Main Affiliation Organisations­zuordnung
 

Own Publications Eigene Publikationen

Results 21-25 of 25 (Search time: 0.002 seconds).

PreviewAuthor(s)TitleTypeIssue Date
21Woltzenlogel-Paleo, Bruno Algorithms for Herbrand Sequent ExtractionPräsentation Presentation2008
22Leitsch, Alexander ; Hetzl, Stefan ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno Transforming and Analyzing Proofs in the CERES-systemKonferenzbeitrag Inproceedings 2008
23Leitsch, Alexander ; Hetzl, Stefan ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno Proof Analysis with HLK, CERES and ProofTool: Current Status and Future DirectionsKonferenzbeitrag Inproceedings2008
24Leitsch, Alexander ; Hetzl, Stefan ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno Herbrand Sequent ExtractionKonferenzbeitrag Inproceedings 2008
25Woltzenlogel Paleo Bruno - 2007 - Herbrand sequent extraction.pdf.jpgWoltzenlogel-Paleo, Bruno Herbrand sequent extractionThesis Hochschulschrift 2007