MPI-INF Logo
Publications

Server    halma.mpi-inf.mpg.de

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
YearTitleBibTeX cite key
Show details for Cantu, Bundy, Smaill, BasinCantu, Bundy, Smaill, Basin
Show details for Chadha, PlaistedChadha, Plaisted
Show details for CharatonikCharatonik
Show details for Charatonik, AmadioCharatonik, Amadio
Show details for Charatonik, Dal Zilio, Gordon, Mukhopadhyay, TalbotCharatonik, Dal Zilio, Gordon, Mukhopadhyay, Talbot
Show details for Charatonik, Georgieva, MaierCharatonik, Georgieva, Maier
Show details for Charatonik, Gordon, TalbotCharatonik, Gordon, Talbot
Show details for Charatonik, McAllester, Niwinski, Podelski, WalukiewiczCharatonik, McAllester, Niwinski, Podelski, Walukiewicz
Show details for Charatonik, Mukhopadhyay, PodelskiCharatonik, Mukhopadhyay, Podelski
Show details for Charatonik, PodelskiCharatonik, Podelski
Show details for Charatonik, Podelski, TalbotCharatonik, Podelski, Talbot
Show details for Charatonik, TalbotCharatonik, Talbot
Show details for Chaudhuri, Dimopoulos, ZaroliagisChaudhuri, Dimopoulos, Zaroliagis
Show details for ChristenChristen
Show details for Chu, PlaistedChu, Plaisted
Show details for Claus, Hopf, Schwefel (ed.)Claus, Hopf, Schwefel (ed.)
Show details for Cook, Gotsman, Podelski, Rybalchenko, VardiCook, Gotsman, Podelski, Rybalchenko, Vardi
Show details for Cook, Podelski, RybalchenkoCook, Podelski, Rybalchenko
Show details for Cortier, Ganzinger, Jacquemard, VeanesCortier, Ganzinger, Jacquemard, Veanes
Show details for Cunningham, Gabbay, OhlbachCunningham, Gabbay, Ohlbach
Show details for Cuntz, Freiheit, KindlerCuntz, Freiheit, Kindler
Show details for Damm, Disch, Hungar, Pang, Pigorsch, Scholl, Waldmann, WirtzDamm, Disch, Hungar, Pang, Pigorsch, Scholl, Waldmann, Wirtz
Show details for Damm, Pinto, RatschanDamm, Pinto, Ratschan
Show details for Daum, Maus, Schirmer, SeghirDaum, Maus, Schirmer, Seghir
Hide details for de Nivellede Nivelle
2005Translation of Resolution Proofs into Short First-Order Proofs without Choice Axioms
In: Information and Computation [199], 24-54		deNivelle2005a
2003Implementing the clausal normal form transformation with proof generation
In: Fourth Workshop on the Implementation of Logics, 69-83		deNivelle2003c
2003Translation 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
2002Extraction 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
2001Splitting through New Proposition Symbols
In: Proceedings of the 8th International Conference on Logic for Programming, Artificial Intelligence, and Reasoning (LPAR-2001), 172-185		deNivelle2001lpar

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