dblp.uni-trier.dewww.uni-trier.de

Jürgen Stuber Vis

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeerX - CSB - MetaPress - Google - Bing - Yahoo

*2005
12EEHarald Ganzinger, Jürgen Stuber: Superposition with equivalence reasoning and delayed clause normal form transformation. Inf. Comput. 199(1-2): 3-23 (2005)
2004
11EEManfred Schmidt-Schauß, Jürgen Stuber: The Complexity of Linear and Stratified Context Matching Problems. Theory Comput. Syst. 37(6): 717-740 (2004)
2003
10EEHarald Ganzinger, Jürgen Stuber: Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation. CADE 2003: 335-349
9EEJürgen Stuber, Mark van den Brand: Extracting Mathematical Semantics from Documents. PPSWR 2003: 160-173
2001
8EEJürgen Stuber: A Model-Based Completeness Proof of Extended Narrowing and Resolution. IJCAR 2001: 195-210
2000
7EEJürgen Stuber: Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems. RTA 2000: 229-245
1999
6EEJürgen Stuber: Theory Path Orderings. RTA 1999: 148-162
1998
5EEJürgen Stuber: Superposition Theorem Proving for Abelian Groups Represented as Integer Modules. Theor. Comput. Sci. 208(1-2): 149-177 (1998)
1996
4EEJürgen Stuber: Superposition Theorem Proving for Albelian Groups Represented as Integer Modules. RTA 1996: 33-47
1994
3 Leo Bachmair, Harald Ganzinger, Jürgen Stuber: Combining Algebra and Universal Algebra in First-Order Theorem Proving: The Case of Commutative Rings. COMPASS/ADT 1994: 1-29
2 Jürgen Stuber: Computing Stable Models by Program Transformation. ICLP 1994: 58-73
1992
1 Harald Ganzinger, Jürgen Stuber: Inductive Theorem Proving by Consistency for First-Order Clauses. CTRS 1992: 226-241

Coauthor Index

1Leo Bachmair [3]
2Mark van den Brand (M. G. J. van den Brand) [9]
3Harald Ganzinger [1] [3] [10] [12]
4Manfred Schmidt-Schauß [11]

Colors in the list of coauthors

Copyright © Tue Nov 3 08:52:44 2009 by Michael Ley (ley@uni-trier.de)