Hans-Josef Jeanrond

Publication Activity (10 Years)

Years Active: 1979-1980
Publications (10 Years): 0

Publications

Hans-Josef Jeanrond, M. R. King, N. H. Shelness
A Segment-Flow Model of Distributed Computing. GI Jahrestagung (1980)
Hans-Josef Jeanrond
Deciding Unique Termination of Permutative Rewriting Systems: Choose Your Term Algebra Carefully. CADE (1980)
Hans-Josef Jeanrond
A Unique Termination Theorem for a Theory with Generalised Commutative Axioms. ICALP (1979)