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: Jeanrond:Hans=Josef
Contributed to:
1980
1979Wrote 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.