Publications

Entries sorted by: 1. Author,Editor - 2. by Group - 4. with BibTeX cite keys

Login to this database

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)

Show entries starting with: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

	Year		Title	BibTeX cite key
Damm, Disch, Hungar, Pang, Pigorsch, Scholl, Waldmann, Wirtz
Damm, Pinto, Ratschan
Daum, Maus, Schirmer, Seghir
de Nivelle
	2005		Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms In: Information and Computation [199], 24-54	deNivelle2005a
	2003		Implementing the clausal normal form transformation with proof generation In: Fourth Workshop on the Implementation of Logics, 69-83	deNivelle2003c
	2003		Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms In: Automated deduction, CADE-19 : 19th International Conference on Automated Deduction, 365-379	deNivelle2003b
	2002		Extraction of Proofs from the Clausal Normal Form Transformation In: Computer Science Logic : 16th International Workshop, CSL 2002, 11th Annual Conference of the EACSL, 584-598	deNivelle2002a
	2001		Splitting through New Proposition Symbols In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), 172-185	deNivelle2001lpar
	2000		An Overview of Resolution Decision Procedures In: Formalizing the Dynamics of Information, 115-130	deNivelle2000b
	2000		Deciding the E-plus class by an a posteriori, liftable order In: Annals of Pure and Applied Logic [88], 219-232	deNivelle2000
de Nivelle, Areces, de Rijke
de Nivelle, Baumgartner, Fuchs, Tinelli
de Nivelle, Bezem, Hendriks
de Nivelle, Blackburn, Bos, Kohlhase
de Nivelle, de Rijke
de Nivelle, Demri
de Nivelle, Hustadt, Schmidt
de Nivelle, Kazakov
de Nivelle, Meng
de Nivelle, Piskac
de Nivelle, Pratt-Hartmann
de Nivelle, Schulz (ed.)
de Raedt, Jaeger, Lee, Mannila
Degtyarev, Gurevich, Narendran, Veanes, Voronkov
Delahaye, Jaume, Prevosto
Delzanno
Delzanno, Esparza, Podelski
Delzanno, Galmiche, Martelli
Delzanno, Podelski

Previous Page | Next Page | Expand All | Collapse All | Search (Full Text)