An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra (Q5747888)
From MaRDI portal
scientific article; zbMATH DE number 5785575
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra |
scientific article; zbMATH DE number 5785575 |
Statements
An Automated Confluence Proof for an Infinite Rewrite System Parametrized over an Integro-Differential Algebra (English)
0 references
14 September 2010
0 references
