scientific article; zbMATH DE number 4155899

MaRDI QIDQ3484358zbMATH OpenFDO

Authors Jürgen Avenhaus, Klaus Madlener

Publication date 1990

zbMATH Keywords

completion proceduresymbolic equation systemsterm rewriting systems

Mathematics Subject Classification ID

Grammars and rewriting systems (68Q42) Symbolic computation and algebraic computation (68W30)

Recommendations

• Resolution of equations in algebraic structures. Volume II: Rewriting techniques
• scientific article; zbMATH DE number 50648
• scientific article; zbMATH DE number 1368955
• scientific article; zbMATH DE number 1118018
• Rewriting

Cited in

(47)

• Equational unification, word unification, and 2nd-order equational unification
• How to prove equivalence of term rewriting systems without induction
• A categorical critical-pair completion algorithm
• Term rewrite systems for lattice theory
• Proving termination of (conditional) rewrite systems. A semantic approach
• Coloring terms to control equational reasoning
• Partial completion of equational theories
• Equational rules for rewriting logic
• Proof lengths for equational completion
• An improved general path order
• Shallow confluence of conditional term rewriting systems
• Structures for abstract rewriting
• On a term rewriting system controlled by sequences of integers
• scientific article; zbMATH DE number 1670742 (Why is no real title available?)
• scientific article; zbMATH DE number 1722701 (Why is no real title available?)
• Term Rewriting with Logical Constraints
• From chemical rules to term rewriting
• scientific article; zbMATH DE number 4203770 (Why is no real title available?)
• Resolution of equations in algebraic structures. Volume II: Rewriting techniques
• scientific article; zbMATH DE number 3902026 (Why is no real title available?)
• scientific article; zbMATH DE number 3949707 (Why is no real title available?)
• scientific article; zbMATH DE number 4006231 (Why is no real title available?)
• scientific article; zbMATH DE number 4035205 (Why is no real title available?)
• scientific article; zbMATH DE number 4074536 (Why is no real title available?)
• scientific article; zbMATH DE number 4078851 (Why is no real title available?)
• scientific article; zbMATH DE number 4078854 (Why is no real title available?)
• scientific article; zbMATH DE number 4090770 (Why is no real title available?)
• scientific article; zbMATH DE number 4096777 (Why is no real title available?)
• scientific article; zbMATH DE number 50648 (Why is no real title available?)
• scientific article; zbMATH DE number 58292 (Why is no real title available?)
• scientific article; zbMATH DE number 1231662 (Why is no real title available?)
• scientific article; zbMATH DE number 2079033 (Why is no real title available?)
• scientific article; zbMATH DE number 1368955 (Why is no real title available?)
• scientific article; zbMATH DE number 785049 (Why is no real title available?)
• Open problems in rewriting
• Distributing equational theorem proving
• Completion for multiple reduction orderings
• Some independence results for equational unification
• Problems in rewriting III
• A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods
• Informational logic for automated reasoning
• Automata, Languages and Programming
• Clausal rewriting
• Ordered rewriting and confluence
• On weakly confluent monadic string-rewriting systems
• Term rewriting: Some experimental results
• Pattern-directed invocation with changing equations

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3484358)