No label defined (Q4036585)
From MaRDI portal
scientific article
| Language | Label | Description | Also known as |
|---|---|---|---|
| English | No label defined |
scientific article |
Statements
18 May 1993
0 references
satisfiability
0 references
ordered resolution
0 references
paramodulation
0 references
rewrite orderings on terms
0 references
solving ordering constraints between terms
0 references
constrained logic programming
0 references
multiset path ordering
0 references
recursive path ordering
0 references
