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 × Austria
1 × Canada
1 × Germany
2 × France
2 × Italy
2 × USA
Collaborated with:
W.Küchlin H.Eckhardt C.Sinz J.Walter M.Göbel
Talks about:
algorithm (3) rewrit (3) buchberg (2) complet (2) ground (2) reduc (2) term (2) generalis (1) parallel (1) analysi (1)

Person: Reinhard Bündgen

DBLP DBLP: B=uuml=ndgen:Reinhard

Contributed to:

RTA 19961996
RTA 19951995
CADE 19941994
RTA 19931993
ALP 19921992
ICALP 19921992
RTA 19911991
ALP 19901990
RTA 19891989

Wrote 9 papers:

ReDuX 1.5: New Facets of Rewriting (RB, CS, JW), pp. 412–415.
RTA-1995-BundgenGK #parallel
Parallel ReDuX -> PaReDuX (RB, MG, WK), pp. 408–413.
CADE-1994-Bundgen #how #on the
On Pot, Pans and Pudding or How to Discover Generalised Critical Pairs (RB), pp. 693–707.
Reduce the Redex → ReDuX (RB), pp. 446–450.
ALP-1992-BundgenE #algorithm #analysis #normalisation #performance
A Fast Algorithm for Ground Normal Form Analysis (RB, HE), pp. 291–305.
ICALP-1992-Bundgen #algorithm #perspective #term rewriting
Buchberger’s Algorithm: The Term Rewriter’s Point of View (RB), pp. 380–391.
RTA-1991-Bundgen #algorithm #simulation
Simulation Buchberger’s Algorithm by Knuth-Bendix Completion (RB), pp. 386–397.
ALP-1990-Bundgen #finite #term rewriting
Applying Term Rewriting Methods to Finite Groups (RB), pp. 332–346.
Computing Ground Reducability and Inductively Complete Positions (RB, WK), pp. 59–75.

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.