scientific article; zbMATH DE number 3870642

zbMATH Open0546.68079MaRDI QIDQ3336738FDOQ3336738

Pierre Lescanne

Publication date: 1984

Title of this publication is not available (Why is that?)

Recommendations

• Some experiments with a completion theorem prover
• scientific article; zbMATH DE number 3871338
• Rewriting techniques and applications. 3rd international conference, RTA-89, Chapel Hill, NC, USA, April 3--5, 1989. Proceedings
• scientific article
• An algorithm for finding canonical sets of ground rewrite rules in polynomial time

zbMATH Keywords

Knuth-Bendix completion algorithmREVERecursive Decomposition Ordering

Mathematics Subject Classification ID

Word problems, other decision problems, connections with logic and automata (group-theoretic aspects) (20F10)

Cited In (12)

• Title not available (Why is that?)
• Title not available (Why is that?)
• Fast Knuth-Bendix completion with a term rewriting system compiler
• Orienting rewrite rules with the Knuth-Bendix order.
• Title not available (Why is that?)
• Algebraic semantics of rewriting terms and types
• Title not available (Why is that?)
• Universal algebras
• Title not available (Why is that?)
• Some experiments with a completion theorem prover
• Symbol different term rewrite systems
• Extended term rewriting systems

Uses Software

• REVE

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 Q3336738)