Conditional rewrite rules (Q1065790): Difference between revisions
From MaRDI portal
Set OpenAlex properties. |
ReferenceBot (talk | contribs) Changed an Item |
||
Property / cites work | |||
Property / cites work: Conditional rewrite rules: Confluence and termination / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3347272 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Proofs by induction in equational theories with constructors / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q5581665 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Computing in systems described by equations / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Q3341872 / rank | |||
Normal rank | |||
Property / cites work | |||
Property / cites work: Completeness of calculii for axiomatically defined classes of algebras / rank | |||
Normal rank |
Latest revision as of 19:17, 14 June 2024
scientific article
Language | Label | Description | Also known as |
---|---|---|---|
English | Conditional rewrite rules |
scientific article |
Statements
Conditional rewrite rules (English)
0 references
1984
0 references
The purpose of this paper is to develop a general study of conditional equational theories. A system of conditional equations is defined simply as a finite set of equational Horn clauses. It is shown that from an algebraic point of view these systems give rise to results analogous to those for classical equational theories. Unfortunately, for the related conditional rewriting systems the rewriting problem is unsolvable and the normal form function is uncomputable. Besides its intrinsic beauty such a general model may become a valuable tool for a ''top down'' search of decidability thresholds.
0 references
conditional equational theories
0 references
conditional equations
0 references
equational Horn clauses
0 references