Hans-Josef Jeanrond

According to our database¹, Hans-Josef Jeanrond authored at least 3 papers between 1979 and 1980.

Collaborative distances:

Timeline

Book

In proceedings

Article

PhD thesis

Dataset

Other

1980

A Segment-Flow Model of Distributed Computing.

[BibT_eX]

[DOI]

Proceedings of the GI - 10. Jahrestagung, Saarbrücken, 30. September, 1980

Deciding Unique Termination of Permutative Rewriting Systems: Choose Your Term Algebra Carefully.

[BibT_eX]

[DOI]

Proceedings of the 5th Conference on Automated Deduction, 1980

1979

A Unique Termination Theorem for a Theory with Generalised Commutative Axioms.

[BibT_eX]

[DOI]

Proceedings of the Automata, 1979