dblp.uni-trier.dewww.uni-trier.de

Hans-Josef Jeanrond

List of publications from the DBLP Bibliography Server - FAQ
Coauthor Index - Ask others: ACM DL/Guide - CiteSeer - CSB - Google - MSN - Yahoo

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

Coauthor Index

1M. R. King [2]
2N. H. Shelness [2]

Copyright © Sun May 17 03:24:02 2009 by Michael Ley (ley@uni-trier.de)