Completion of rewrite systems with membership constraints (Q5204334)
From MaRDI portal
scientific article; zbMATH DE number 7139648
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Completion of rewrite systems with membership constraints |
scientific article; zbMATH DE number 7139648 |
Statements
Completion of rewrite systems with membership constraints (English)
0 references
4 December 2019
0 references
critical pair
0 references
tree automaton
0 references
equational logic
0 references
deduction rule
0 references
0 references
