scientific article; zbMATH DE number 3890721
From MaRDI portal
Publication:3347284
Recommendations
- scientific article; zbMATH DE number 4006231
- On sufficient-completeness and related properties of term rewriting systems
- scientific article; zbMATH DE number 1118018
- scientific article; zbMATH DE number 4090779
- scientific article; zbMATH DE number 1088026
- Publication:5749279
- Foundations of Software Science and Computation Structures
- Completion for constrained term rewriting systems
- On interreduction of semi-complete term rewriting systems
- Inductive synthesis of term rewriting systems
Cited in
(21)- On sufficient-completeness and related properties of term rewriting systems
- Completion of rewrite systems with membership constraints. I: Deduction rules
- Term rewrite systems for lattice theory
- Partial completion of equational theories
- From Hertzsprung's problem to pattern-rewriting systems
- Complete involutive rewriting systems
- Sufficient-completeness, ground-reducibility and their complexity
- A Completion Method to Decide Reachability in Rewrite Systems
- TERM REWRITE RULES FOR FINITE FIELDS
- Completeness of rewrite rules and rewrite strategies for FP
- scientific article; zbMATH DE number 4164137 (Why is no real title available?)
- scientific article; zbMATH DE number 4006231 (Why is no real title available?)
- scientific article; zbMATH DE number 4049024 (Why is no real title available?)
- Existence, Uniqueness, and Construction of Rewrite Systems
- scientific article; zbMATH DE number 1534597 (Why is no real title available?)
- On how to move mountains ‘associatively and commutatively’
- A Lower Bound of the Number of Rewrite Rules Obtained by Homological Methods
- Approximating Term Rewriting Systems: A Horn Clause Specification and Its Implementation
- scientific article; zbMATH DE number 4183386 (Why is no real title available?)
- Design strategies for rewrite rules
- A Human-Oriented Term Rewriting System
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 Q3347284)
