BibSLEIGH corpus
BibSLEIGH tags
BibSLEIGH bundles
BibSLEIGH people
Open Knowledge
XHTML 1.0 W3C Rec
CSS 2.1 W3C CanRec
email twitter
Travelled to:
1 × Australia
1 × France
2 × Germany
Collaborated with:
J.Giesl T.Kolbe
Talks about:
analysi (3) termin (3) function (2) partial (2) polynomi (1) plagiat (1) automat (1) prover (1) induct (1) order (1)

Person: Jürgen Brauburger

DBLP DBLP: Brauburger:J=uuml=rgen

Contributed to:

CADE 19981998
CADE 19971997
SAS 19971997
SAS 19961996

Wrote 4 papers:

CADE-1998-BrauburgerG #analysis #evaluation #induction #termination
Termination Analysis by Inductive Evaluation (JB, JG), pp. 254–269.
CADE-1997-KolbeB #learning #named #proving
Plagiator — A Learning Prover (TK, JB), pp. 256–259.
SAS-1997-Braunburger #analysis #automation #order #polynomial #termination #using
Automatic Termination Analysis for Partial Functions Using Polynomial Orderings (JB), pp. 330–344.
SAS-1996-BrauburgerG #analysis #termination
Termination Analysis for Partial Functions (JB, JG), pp. 113–127.

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.