Login / Signup

An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra.

Loredana TecGeorg RegensburgerMarkus RosenkranzBruno Buchberger
Published in: ICMS (2010)
Keyphrases