Search the dblp DataBase
Jürgen Stuber :
[Publications ]
[Author Rank by year ]
[Co-authors ]
[Prefers ]
[Cites ]
[Cited by ]
Publications of Author
Harald Ganzinger , Jürgen Stuber Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation. [Citation Graph (0, 0)][DBLP ] CADE, 2003, pp:335-349 [Conf ] Jürgen Stuber A Model-Based Completeness Proof of Extended Narrowing and Resolution. [Citation Graph (0, 0)][DBLP ] IJCAR, 2001, pp:195-210 [Conf ] Leo Bachmair , Harald Ganzinger , Jürgen Stuber Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings. [Citation Graph (0, 0)][DBLP ] COMPASS/ADT, 1994, pp:1-29 [Conf ] Harald Ganzinger , Jürgen Stuber Inductive Theorem Proving by Consistency for First-Order Clauses. [Citation Graph (0, 0)][DBLP ] CTRS, 1992, pp:226-241 [Conf ] Jürgen Stuber Computing Stable Models by Program Transformation. [Citation Graph (0, 0)][DBLP ] ICLP, 1994, pp:58-73 [Conf ] Jürgen Stuber , Mark van den Brand Extracting Mathematical Semantics from Documents. [Citation Graph (0, 0)][DBLP ] PPSWR, 2003, pp:160-173 [Conf ] Jürgen Stuber Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems. [Citation Graph (0, 0)][DBLP ] RTA, 2000, pp:229-245 [Conf ] Jürgen Stuber Superposition Theorem Proving for Albelian Groups Represented as Integer Modules. [Citation Graph (0, 0)][DBLP ] RTA, 1996, pp:33-47 [Conf ] Jürgen Stuber Theory Path Orderings. [Citation Graph (0, 0)][DBLP ] RTA, 1999, pp:148-162 [Conf ] Harald Ganzinger , Jürgen Stuber Superposition with equivalence reasoning and delayed clause normal form transformation. [Citation Graph (0, 0)][DBLP ] Inf. Comput., 2005, v:199, n:1-2, pp:3-23 [Journal ] Manfred Schmidt-Schauß , Jürgen Stuber The Complexity of Linear and Stratified Context Matching Problems. [Citation Graph (0, 0)][DBLP ] Theory Comput. Syst., 2004, v:37, n:6, pp:717-740 [Journal ] Jürgen Stuber Superposition Theorem Proving for Abelian Groups Represented as Integer Modules. [Citation Graph (0, 0)][DBLP ] Theor. Comput. Sci., 1998, v:208, n:1-2, pp:149-177 [Journal ] Search in 0.002secs, Finished in 0.002secs