Complete sets of transformations for general E-unification (Q1262754): Difference between revisions
From MaRDI portal
Set profile property. |
ReferenceBot (talk | contribs) Changed an Item |
||
(One intermediate revision by one other user not shown) | |||
Property / OpenAlex ID | |||
Property / OpenAlex ID: W2065794924 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3786017 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Termination of rewriting / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Complete sets of unifiers and matchers in equational theories / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3743300 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Extending SLD resolution to equational horn clauses using E-unification / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3782762 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Equality, types, modules, and (why not?) generics for logic programming / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3783622 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Confluent Reductions: Abstract Properties and Applications to Term Rewriting Systems / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3883561 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3703312 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3709891 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3338225 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5581665 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4764112 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Positive First-Order Logic Is NP-Complete / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q4189277 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: An Efficient Unification Algorithm / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Basic narrowing revisited / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Linear unification / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5678447 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3779784 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: A Machine-Oriented Logic Based on the Resolution Principle / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5562604 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3338215 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Automated Theorem-Proving for Theories with Simplifiers Commutativity, and Associativity / rank | |||
Normal rank |
Latest revision as of 11:40, 20 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Complete sets of transformations for general E-unification |
scientific article |
Statements
Complete sets of transformations for general E-unification (English)
0 references
1989
0 references
See the review in Zbl 0641.68045.
0 references
E-unification
0 references
equational theories
0 references
complete sets of unifiers
0 references
rewriting
0 references
theorem proving
0 references
typed theory
0 references
typed lambda-calculus
0 references
higher-order unification
0 references