`Travelled to:`

1 × United Kingdom

2 × USA

3 × Italy

`Collaborated with:`

∅ H.Ganzinger

`Talks about:`

superposit (3) transform (2) theori (2) model (2) albelian (1) theorem (1) resolut (1) program (1) equival (1) converg (1)

## Person: Jürgen Stuber

### DBLP: Stuber:J=uuml=rgen

### Contributed to:

### Wrote 6 papers:

- CADE-2003-GanzingerS #equivalence #normalisation #reasoning
- Superposition with Equivalence Reasoning and Delayed Clause Normal Form Transformation (HG, JS), pp. 335–349.
- IJCAR-2001-Stuber #modelling #proving
- A Model-Based Completeness Proof of Extended Narrowing and Resolution (JS), pp. 195–210.
- RTA-2000-Stuber #calculus #convergence #term rewriting
- Deriving Theory Superposition Calculi from Convergent Term Rewriting Systems (JS), pp. 229–245.
- RTA-1999-Stuber #order
- Theory Path Orderings (JS), pp. 148–162.
- RTA-1996-Stuber #integer #proving #theorem proving
- Superposition Theorem Proving for Albelian Groups Represented as Integer Modules (JS), pp. 33–47.
- ICLP-1994-Stuber #modelling #program transformation
- Computing Stable Models by Program Transformation (JS), pp. 58–73.