Weller, Daniel

Network Lab View Statistics Email Alert RSS Feed

Name Card

Full name Familienname, Vorname

Weller, Daniel

Main Affiliation Organisationszuordnung

E104 - Institut für Diskrete Mathematik und Geometrie

Own Publications Eigene Publikationen

Results 21-37 of 37 (Search time: 0.003 seconds).

1
2

RIS EndNote Bibtex Excel CSV Send via email

		Preview	Author(s)	Title	Type	Issue Date
	21		Weller, Daniel	On the elimination of quantifier-free cuts	Artikel Article	2011
	22		Weller, Daniel	Proof search in cut-elimination	Präsentation Presentation	2011
	23		Weller, Daniel	Skolemization, cut-free proof and complexity	Präsentation Presentation	2011
	24		Hetzl, Stefan ; Leitsch, Alexander ; Weller, Daniel	Ceres in higher-order logic	Artikel Article	2011
	25		Hetzl, Stefan ; Leitsch, Alexander ; Weller, Daniel	CERES in higher-order logic	Article Artikel	2011
	26		Weller, Daniel	CERES in higher-order logic	Thesis Hochschulschrift	2010
	27		Baaz, Matthias ; Hetzl, Stefan ; Weller, Daniel	On the complexity of proof deskolemization	Präsentation Presentation	2010
	28		Weller, Daniel	Towards CERES in Higher-Order Logic	Präsentation Presentation	2010
	29		Weller, Daniel	Proof Analysis	Präsentation Presentation	2010
	30		Hetzl, Stefan ; Leitsch, Alexander ; Weller, Daniel	CERES in higher-order-logic	Präsentation Presentation	2010
	31		Leitsch, Alexander ; Dunchev, Tsvetan ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno ; Libal, Tomer	System Description: The Proof Transformation System CERES	Konferenzbeitrag Inproceedings	2010
	32		Hetzl, Stefan ; Leitsch, Alexander ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno	A Clausal Approach to Proof Analysis in Second-Order Logic	Konferenzbeitrag Inproceedings	2009
	33		Weller, Daniel	Cut-Elimination by Resolution and Skolemization in Second-Order Logic	Präsentation Presentation	2008
	34		Weller, Daniel	Skolemization of sequent calculus proofs in higher-order logic	Präsentation Presentation	2008
	35		Leitsch, Alexander ; Hetzl, Stefan ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno	Transforming and Analyzing Proofs in the CERES-system	Konferenzbeitrag Inproceedings	2008
	36		Leitsch, Alexander ; Hetzl, Stefan ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno	Proof Analysis with HLK, CERES and ProofTool: Current Status and Future Directions	Konferenzbeitrag Inproceedings	2008
	37		Leitsch, Alexander ; Hetzl, Stefan ; Weller, Daniel ; Woltzenlogel-Paleo, Bruno	Herbrand Sequent Extraction	Konferenzbeitrag Inproceedings	2008

1
2