BibSLEIGH
BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
EDIT!
CC-BY
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
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 DBLP: Stuber:J=uuml=rgen

Contributed to:

CADE 20032003
IJCAR 20012001
RTA 20002000
RTA 19991999
RTA 19961996
ICLP 19941994

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.
Bibliography of Software Language Engineering in Generated Hypertext (BibSLEIGH) is created and maintained by Dr. Vadim Zaytsev.
Hosted as a part of SLEBOK on GitHub.