The SCEAS System
Navigation Menu

Search the dblp DataBase

Title:
Author:

Christoph Weidenbach: [Publications] [Author Rank by year] [Co-authors] [Prefers] [Cites] [Cited by]

Publications of Author

  1. Harald Ganzinger, Christoph Meyer, Christoph Weidenbach
    Soft Typing for Ordered Resolution. [Citation Graph (0, 0)][DBLP]
    CADE, 1997, pp:321-335 [Conf]
  2. Andreas Nonnengart, Georg Rock, Christoph Weidenbach
    On Generating Small Clause Normal Forms. [Citation Graph (0, 0)][DBLP]
    CADE, 1998, pp:397-411 [Conf]
  3. Christoph Weidenbach, Uwe Brahm, Thomas Hillenbrand, Enno Keen, Christian Theobald, Dalibor Topic
    S PASS Version 2.0. [Citation Graph (0, 0)][DBLP]
    CADE, 2002, pp:275-279 [Conf]
  4. Christoph Weidenbach
    Unification in Pseudo-Linear Sort Theories is Decidable. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:343-357 [Conf]
  5. Christoph Weidenbach
    Towards an Automatic Analysis of Security Protocols in First-Order Logic. [Citation Graph (0, 0)][DBLP]
    CADE, 1999, pp:314-328 [Conf]
  6. Christoph Weidenbach
    System Description: Spass Version 1.0.0. [Citation Graph (0, 0)][DBLP]
    CADE, 1999, pp:378-382 [Conf]
  7. Christoph Weidenbach, Bernd Gaede, Georg Rock
    SPASS & FLOTTER Version 0.42. [Citation Graph (0, 0)][DBLP]
    CADE, 1996, pp:141-145 [Conf]
  8. Ullrich Hustadt, Renate A. Schmidt, Christoph Weidenbach
    MSPASS: Subsumption Testing with SPASS. [Citation Graph (0, 0)][DBLP]
    Description Logics, 1999, pp:- [Conf]
  9. Christoph Weidenbach, Hans Jürgen Ohlbach
    A Resolution Calculus with Dynamic Sort Structures and Partial Functions. [Citation Graph (0, 0)][DBLP]
    ECAI, 1990, pp:688-693 [Conf]
  10. Christoph Weidenbach
    Extending the Resolution Method with Sorts. [Citation Graph (0, 0)][DBLP]
    IJCAI, 1993, pp:60-65 [Conf]
  11. Christoph Weidenbach
    A New Sorted Logic. [Citation Graph (0, 0)][DBLP]
    GWAI, 1992, pp:43-54 [Conf]
  12. Bijan Afshordel, Thomas Hillenbrand, Christoph Weidenbach
    First-Order Atom Definitions Extended. [Citation Graph (0, 0)][DBLP]
    LPAR, 2001, pp:309-319 [Conf]
  13. Florent Jacquemard, Christoph Meyer, Christoph Weidenbach
    Unification in Extension of Shallow Equational Theories. [Citation Graph (0, 0)][DBLP]
    RTA, 1998, pp:76-90 [Conf]
  14. Christoph Weidenbach
    Unification in Sort Theories and Its Applications. [Citation Graph (0, 0)][DBLP]
    Ann. Math. Artif. Intell., 1996, v:18, n:2-4, pp:261-293 [Journal]
  15. Hans Jürgen Ohlbach, Christoph Weidenbach
    A Note on Assumptions about Skolem Functions. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1995, v:15, n:2, pp:267-275 [Journal]
  16. Christoph Weidenbach
    SPASS - Version 0.49. [Citation Graph (0, 0)][DBLP]
    J. Autom. Reasoning, 1997, v:18, n:2, pp:247-252 [Journal]
  17. Manfred Kerber, Christoph Weidenbach
    Deduktionssysteme. [Citation Graph (0, 0)][DBLP]
    KI, 1992, v:6, n:3, pp:14-22 [Journal]
  18. Reinhold Letz, Christoph Weidenbach
    Paradigmen und Perspektiven der automatischen Deduktion. [Citation Graph (0, 0)][DBLP]
    KI, 1998, v:12, n:4, pp:15-19 [Journal]
  19. Tal Lev-Ami, Christoph Weidenbach, Thomas W. Reps, Mooly Sagiv
    Labelled Clauses. [Citation Graph (0, 0)][DBLP]
    CADE, 2007, pp:311-327 [Conf]
  20. Christoph Weidenbach, Renate A. Schmidt, Thomas Hillenbrand, Rostislav Rusev, Dalibor Topic
    System Description: SpassVersion 3.0. [Citation Graph (0, 0)][DBLP]
    CADE, 2007, pp:514-520 [Conf]

  21. Labelled Splitting. [Citation Graph (, )][DBLP]


  22. Contextual Rewriting in SPASS. [Citation Graph (, )][DBLP]


  23. Decidability Results for Saturation-Based Model Building. [Citation Graph (, )][DBLP]


  24. SPASS Version 3.5. [Citation Graph (, )][DBLP]


  25. On the Saturation of YAGO. [Citation Graph (, )][DBLP]


  26. Deciding the Inductive Validity of FOR ALL THERE EXISTS * Queries. [Citation Graph (, )][DBLP]


  27. Superposition for Fixed Domains. [Citation Graph (, )][DBLP]


  28. Superposition Modulo Linear Arithmetic SUP(LA). [Citation Graph (, )][DBLP]


  29. Subterm contextual rewriting. [Citation Graph (, )][DBLP]


  30. Labelled splitting. [Citation Graph (, )][DBLP]


  31. Superposition for Fixed Domains [Citation Graph (, )][DBLP]


Search in 0.003secs, Finished in 0.004secs
NOTICE1
System may not be available sometimes or not working properly, since it is still in development with continuous upgrades
NOTICE2
The rankings that are presented on this page should NOT be considered as formal since the citation info is incomplete in DBLP
 
System created by asidirop@csd.auth.gr [http://users.auth.gr/~asidirop/] © 2002
for Data Engineering Laboratory, Department of Informatics, Aristotle University © 2002