![]() | ![]() |
| 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] |
Data released under the ODC-BY 1.0 license — See also our legal information page