Rule-based unification in combined theories and the finite variant property (Q2278291)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Rule-based unification in combined theories and the finite variant property |
scientific article |
Statements
Rule-based unification in combined theories and the finite variant property (English)
0 references
4 December 2019
0 references
term rewriting
0 references
unification
0 references
combination
0 references
forward-closure
0 references
