BibSonomy :: author  ::

bookmarks

publications

(29)

• Contextual Rewriting in SPASS.
  Christoph Weidenbach and Patrick Wischnewski PAAR/ESHOL (2008)
  to dblp by dblp on 2008-11-04 00:00:00
  | URL | BibTeX  
• Superposition for Fixed Domains.
  Matthias Horbach and Christoph Weidenbach CSL 293-307 (2008)
  to dblp by dblp and 1 other person on 2008-10-20 00:00:00
  | URL | BibTeX  
• Superposition for Fixed Domains
  Matthias Horbach and Christoph Weidenbach CoRR abs/0809.0922 (2008)
  to dblp by dblp and 1 other person on 2008-10-02 00:00:00
  | URL | BibTeX  
• Labelled Splitting.
  Arnaud Fietzke and Christoph Weidenbach IJCAR 459-474 (2008)
  to dblp by dblp on 2008-09-05 00:00:00
  | URL | BibTeX  
• First-Order Tableaux with Sorts.
  Christoph Weidenbach Logic Journal of the IGPL 3 887-906 (1995)
  to dblp by dblp on 2008-04-04 00:00:00
  | URL | BibTeX  
• System Description: SpassVersion 3.0.
  Christoph Weidenbach and Renate A. Schmidt and Thomas Hillenbrand and Rostislav Rusev and Dalibor Topic CADE 514-520 (2007)
  to dblp by dblp on 2007-09-05 00:00:00
  | URL | BibTeX  
• Labelled Clauses.
  Tal Lev-Ami and Christoph Weidenbach and Thomas W. Reps and Mooly Sagiv CADE 311-327 (2007)
  to dblp by dblp on 2007-09-05 00:00:00
  | URL | BibTeX  
• SPASS Version 2.0
  Christoph Weidenbach and Uwe Brahm and Thomas Hillenbrand and Enno Keen and Christian Theobalt and Dalibor Topić Automated deduction, CADE-18 : 18th International Conference on Automated Deduction 275--279 (2002)
  to imported by lonzo on 2006-11-26 11:43:57
  | BibTeX  
• TiDAS - Interaktive dreidimensionale Gestaltung von angeborenen und erworbenen Herzfehlern.
  T. Fox and M. Weidenbach GMDS 187-190 (1996)
  to dblp by dblp on 2004-05-13 00:00:00
  | URL | BibTeX  
• SPASS - Version 0.49.
  Christoph Weidenbach J. Autom. Reasoning 18 247-252 (1997)
  to dblp by dblp on 2004-02-04 00:00:00
  | URL | BibTeX