![]() | ![]() |
1980 | ||
---|---|---|
3 | Hans-Josef Jeanrond: Deciding Unique Termination of Permutative Rewriting Systems: Choose Your Term Algebra Carefully. CADE 1980: 335-355 | |
2 | Hans-Josef Jeanrond, M. R. King, N. H. Shelness: A Segment-Flow Model of Distributed Computing. GI Jahrestagung 1980: 555 | |
1979 | ||
1 | Hans-Josef Jeanrond: A Unique Termination Theorem for a Theory with Generalised Commutative Axioms. ICALP 1979: 316-330 |
1 | M. R. King | [2] |
2 | N. H. Shelness | [2] |