On equality up-to constraints over finite trees, context unification, and one-step rewriting (Q5234685)
From MaRDI portal
scientific article; zbMATH DE number 7111157
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | On equality up-to constraints over finite trees, context unification, and one-step rewriting |
scientific article; zbMATH DE number 7111157 |
Statements
On equality up-to constraints over finite trees, context unification, and one-step rewriting (English)
0 references
1 October 2019
0 references
tree constraints
0 references
subtree relation
0 references
string unification
0 references
context unification
0 references
linear second-order unification
0 references
one-step rewriting
0 references
semantic processing of natural language
0 references
0 references
0 references
