MetaCart Sign in to MyCiteSeerX

Documents
Authors
Tables !

Searching for authors named Christoph Weidenbach – sorted by Relevance.

Order by: Citations | Year (Descending) | Year (Ascending) | Recency

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB

18 documents found, showing 1 through 10. Next 10 →

ATOM

SPASS: An automated theorem prover for first-order logic with equality. Available at “http://spass.mpi-sb.mpg.de/index.html
by Christoph Weidenbach — 2003
… SPASS: An Automated Theorem Prover for First-Order Logic with Equality by Christoph Weidenbach…
Cited by 3 (0 self) – Add To MetaCart

Towards an Automatic Analysis of Security Protocols in First-Order Logic
by Christoph Weidenbach — 1999
…Towards an Automatic Analysis of Security Protocols in First-Order Logic Christoph Weidenbach Max…
Cited by 47 (2 self) – Add To MetaCart

SPASS: Combining Superposition, Sorts and Splitting
by Christoph Weidenbach, Im Stadtwald — 1999
…Chapter 1 Spass: Combining Superposition, Sorts and Splitting Christoph Weidenbach Max…
Cited by 57 (2 self) – Add To MetaCart

Unification in Extensions of Shallow Equational Theories
by Florent Jacquemard, Christoph Meyer, Christoph Weidenbach — 1998 — Rewriting Techniques and Applications, 9th International Conference, RTA-98, Vol. 1379, LNCS
…, Christoph Weidenbach ?? Max-Planck-Institut fur Informatik Im Stadtwald 66123 Saarbrucken, Germany email…
Cited by 8 (0 self) – Add To MetaCart

Soft Typing for Ordered Resolution
by Harald Ganzinger, Christoph Meyer, Christoph Weidenbach, Im Stadtwald — 1996 — in `Proceedings of the 14th International Conference on Automated Deduction, CADE-14', Vol. 1249 of LNAI
…Soft Typing for Ordered Resolution Harald Ganzinger, Christoph Meyer, Christoph Weidenbach ? Max…
Cited by 11 (3 self) – Add To MetaCart

First-Order Atom Definitions Extended
by Bijan Afshordel, Thomas Hillenbrand, Christoph Weidenbach
…First-OrderA tom Definitions Extended BijanAfshoE=N2 Thoho Hillenbrand, andChristoN Weidenbach Max…
Cited by 1 (0 self) – Add To MetaCart

Labelled Clauses
by Tal Lev-ami, Christoph Weidenbach, Thomas Reps, Mooly Sagiv
…Labelled Clauses Tal Lev-Ami 1⋆ , Christoph Weidenbach 2 , Thomas Reps 3⋆⋆ , and Mooly Sagiv 1 1…
Cited by 1 (1 self) – Add To MetaCart

On Generating Small Clause Normal Forms
by Andreas Nonnengart, Georg Rock, Christoph Weidenbach — 1998
…On Generating Small Clause Normal Forms Andreas Nonnengart 1 , Georg Rock 2 , and Christoph…
Cited by 69 (2 self) – Add To MetaCart

SPASS FLOTTER Version 0.42
by Christoph Weidenbach, Bernd Gaede, Georg Rock
…SPASS & FLOTTER Version 0.42 Christoph Weidenbach and Bernd Gaede and Georg Rock Max…
Cited by 50 (2 self) – Add To MetaCart

Optimised Functional Translation and Resolution
by Ullrich Hustadt, Renate A. Schmidt, Christoph Weidenbach — 1998
… , and Christoph Weidenbach 2 1 Department of Computing, Manchester Metropolitan University, Chester Street…
Cited by 5 (5 self) – Add To MetaCart

Showing 1 through 10. Next 10 →

ATOM

Try your query at: Scholar | Yahoo! | Ask | Bing | CSB