Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 (Q2817918)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 |
scientific article |
Statements
Built-in Variant Generation and Unification, and Their Applications in Maude 2.7 (English)
0 references
5 September 2016
0 references
0 references
0 references
