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 × Austria
1 × France
Collaborated with:

Talks about:
termin (2) uniqu (2) generalis (1) theorem (1) algebra (1) theori (1) system (1) rewrit (1) permut (1) commut (1)

Person: Hans-Josef Jeanrond

DBLP DBLP: Jeanrond:Hans=Josef

Contributed to:

CADE 19801980
ICALP 19791979

Wrote 2 papers:

CADE-1980-Jeanrond #algebra #term rewriting #termination
Deciding Unique Termination of Permutative Rewriting Systems: Choose Your Term Algebra Carefully (HJJ), pp. 335–355.
ICALP-1979-Jeanrond #axiom #commutative #termination #theorem
A Unique Termination Theorem for a Theory with Generalised Commutative Axioms (HJJ), pp. 316–330.

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.