Conditional rewrite rules: Confluence and termination
From MaRDI portal
Recommendations
Cites work
- scientific article; zbMATH DE number 3890711 (Why is no real title available?)
- scientific article; zbMATH DE number 3938563 (Why is no real title available?)
- scientific article; zbMATH DE number 4037157 (Why is no real title available?)
- scientific article; zbMATH DE number 3703962 (Why is no real title available?)
- scientific article; zbMATH DE number 3730111 (Why is no real title available?)
- scientific article; zbMATH DE number 3280068 (Why is no real title available?)
- Computing in systems described by equations
- Conditional rewrite rules
- Initial Algebra Semantics and Continuous Algebras
- Minimal and Optimal Computations of Recursive Programs
- The lambda calculus. Its syntax and semantics. Rev. ed.
Cited in
(60)- Sequentiality in orthogonal term rewriting systems
- The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors
- Logicality of conditional rewrite systems
- Confluence of terminating membership conditional TRS
- Levels of undecidability in rewriting
- Nominal rewriting
- Operational termination of conditional term rewriting systems
- Conditional equational theories and complete sets of transformations
- Normal forms and normal theories in conditional rewriting
- Local Confluence for Rules with Nested Application Conditions
- Contextual rewriting as a sound and complete proof method for conditional LOG-specifications
- Incremental constraint satisfaction for equational logic programming
- Shallow confluence of conditional term rewriting systems
- On the confluence of lambda-calculus with conditional rewriting
- Open problems in rewriting
- Deductive and inductive synthesis of equational programs
- Conditional rewrite rules
- Completion-time optimization of rewrite-time goal solving
- Completeness results for basic narrowing
- Evaluation strategies for functional logic programming
- Priority rewriting: Semantics, confluence, and conditionals
- A combinatory logic approach to higher-order E-unification
- Unique normal form property of compatible term rewriting systems: A new proof of Chew's theorem
- Dependency pairs for proving termination properties of conditional term rewriting systems
- Elimination of conditions
- Origin tracking
- Perpetuality and uniform normalization in orthogonal rewrite systems
- Strict coherence of conditional rewriting modulo axioms
- Confluence of terminating conditional rewrite systems revisited
- A rationale for conditional equational programming
- Level-confluence of conditional rewrite systems with extra variables in right-hand sides
- Equational rules for rewriting logic
- A sequential reduction strategy
- Reversible computation in term rewriting
- Functional Logic Programming: From Theory to Curry
- Determinization of conditional term rewriting systems
- Proving termination of (conditional) rewrite systems. A semantic approach
- Rewrite method for theorem proving in first order theory with equality
- Rewriting systems over similarity and generalized pseudometric spaces and their properties
- Extended term rewriting systems
- Conditional linearization
- On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems
- Implementing term rewrite languages in DACTL
- Evaluation strategies for functional logic programming
- Applications and extensions of context-sensitive rewriting
- Negation with logical variables in conditional rewriting
- Term-rewriting systems with rule priorities
- Confluence of the disjoint union of conditional term rewriting systems
- Transformation for refining unraveled conditional term rewriting systems
- Simplifying conditional term rewriting systems: Unification, termination and confluence
- Transformations of Conditional Rewrite Systems Revisited
- Kernel-LEAF: A logic plus functional language
- scientific article; zbMATH DE number 4092821 (Why is no real title available?)
- A completion procedure for conditional equations
- Equational type logic
- Proving confluence in the confluence framework with confident
- Implementing conditional term rewriting by graph rewriting
- Inverse Unfold Problem and Its Heuristic Solving
- Notes on Structure-Preserving Transformations of Conditional Term Rewrite Systems
- Characterizing Compatible View Updates in Syntactic Bidirectionalization
This page was built for publication: Conditional rewrite rules: Confluence and termination
Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1111368)
