Author of the publication

copy delete add this publication to your clipboard
community post
history of this post
URL
DOI
BibTeX
EndNote
APA
Chicago
DIN 1505
Harvard
MSOffice XML

S PASS Version 2.0.

C. Weidenbach, U. Brahm, T. Hillenbrand, E. Keen, C. Theobalt, and D. Topic. CADE, volume 2392 of Lecture Notes in Computer Science, page 275-279. Springer, (2002)

Please choose a person to relate this publication to

To differ between persons with the same name, the academic degree and the title of an important publication will be displayed. You can also use the button next to the name to display some publications already assigned to the person.

Christoph Schulz University of Stuttgart

Hon. -Prof. Christoph Müller University of Stuttgart

Dr. -Ing. Christoph Wenzel University of Stuttgart

Christoph Jeromin University of Stuttgart

Dr.-Ing. Christoph Steinhausen University of Stuttgart

Other publications of authors with the same name

A Note on Assumptions about Skolem Functions.H. Ohlbach, and C. Weidenbach. J. Autom. Reasoning, 15 (2): 267-275 (1995)Superposition Decides the First-Order Logic Fragment Over Ground Theories.E. Kruglov, and C. Weidenbach. Mathematics in Computer Science, 6 (4): 427-456 (2012)Satisfiability Checking and Query Answering for Large Ontologies.C. Weidenbach, and P. Wischnewski. PAAR@IJCAR, volume 21 of EPiC Series in Computing, page 163-177. EasyChair, (2012)First-Order Logic Theorem Proving via Counterexample-Guided Abstraction Refinement.A. Teucke, and C. Weidenbach. CoRR, (2015)Bernays-Schönfinkel-Ramsey with Simple Bounds is NEXPTIME-complete.M. Voigt, and C. Weidenbach. CoRR, (2015)A Dynamic Logic for Configuration.C. Tang, and C. Weidenbach. ARQNL@IJCAR, volume 1770 of CEUR Workshop Proceedings, page 36-50. CEUR-WS.org, (2016)SPASS-SATT - A CDCL(LA) Solver.M. Bromberger, M. Fleury, S. Schwarz, and C. Weidenbach. CADE, volume 11716 of Lecture Notes in Computer Science, page 111-122. Springer, (2019)Computing Tiny Clause Normal Forms.N. Azmy, and C. Weidenbach. CADE, volume 7898 of Lecture Notes in Computer Science, page 109-125. Springer, (2013)Towards an Automatic Analysis of Security Protocols in First-Order Logic.C. Weidenbach. CADE, volume 1632 of Lecture Notes in Computer Science, page 314-328. Springer, (1999)More SPASS with Isabelle - Superposition with Hard Sorts and Configurable Simplification.J. Blanchette, A. Popescu, D. Wand, and C. Weidenbach. ITP, volume 7406 of Lecture Notes in Computer Science, page 345-360. Springer, (2012)