Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems (Q2829264)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems |
scientific article |
Statements
Certification of Classical Confluence Results for Left-Linear Term Rewrite Systems (English)
0 references
27 October 2016
0 references
