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

Hans-Josef Jeanrond

Browse the full ICALP paper archive.