Simultaneous rigid sorted unification for tableaux (Q1863821)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | Simultaneous rigid sorted unification for tableaux |
scientific article |
Statements
Simultaneous rigid sorted unification for tableaux (English)
0 references
12 March 2003
0 references
sorts
0 references
simultaneous rigid unification
0 references
free-variable tableaux
0 references
