Pages that link to "Item:Q1111368"

The following pages link to Conditional rewrite rules: Confluence and termination (Q1111368):

Displaying 50 items.

• Dependency pairs for proving termination properties of conditional term rewriting systems (Q347382) (← links)
• Levels of undecidability in rewriting (Q627134) (← links)
• A sequential reduction strategy (Q671504) (← links)
• On termination and confluence properties of disjoint and constructor-sharing conditional rewrite systems (Q671506) (← links)
• A combinatory logic approach to higher-order E-unification (Q673971) (← links)
• Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
• Conditional linearization (Q698633) (← links)
• Normal forms and normal theories in conditional rewriting (Q730473) (← links)
• Equational type logic (Q752689) (← links)
• A completion procedure for conditional equations (Q758211) (← links)
• Implementing term rewrite languages in DACTL (Q912591) (← links)
• A rationale for conditional equational programming (Q915429) (← links)
• Conditional equational theories and complete sets of transformations (Q918541) (← links)
• On the confluence of lambda-calculus with conditional rewriting (Q987976) (← links)
• Operational termination of conditional term rewriting systems (Q1041807) (← links)
• Conditional rewrite rules (Q1065790) (← links)
• Rewrite method for theorem proving in first order theory with equality (Q1098649) (← links)
• Simplifying conditional term rewriting systems: Unification, termination and confluence (Q1100891) (← links)
• Sequentiality in orthogonal term rewriting systems (Q1186735) (← links)
• Term-rewriting systems with rule priorities (Q1262749) (← links)
• Deductive and inductive synthesis of equational programs (Q1322836) (← links)
• Origin tracking (Q1322842) (← links)
• Contextual rewriting as a sound and complete proof method for conditional LOG-specifications (Q1323311) (← links)
• Proving termination of (conditional) rewrite systems. A semantic approach (Q1323317) (← links)
• Completeness results for basic narrowing (Q1328184) (← links)
• Incremental constraint satisfaction for equational logic programming (Q1367535) (← links)
• Equational rules for rewriting logic (Q1608925) (← links)
• The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors (Q1635507) (← links)
• Rewriting systems over similarity and generalized pseudometric spaces and their properties (Q1677217) (← links)
• Reversible computation in term rewriting (Q1683707) (← links)
• Perpetuality and uniform normalization in orthogonal rewrite systems (Q1854401) (← links)
• Determinization of conditional term rewriting systems (Q1929232) (← links)
• Elimination of conditions (Q1974693) (← links)
• Logicality of conditional rewrite systems (Q1978646) (← links)
• Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
• Nominal rewriting (Q2373703) (← links)
• Evaluation strategies for functional logic programming (Q2456576) (← links)
• Shallow confluence of conditional term rewriting systems (Q2518609) (← links)
• Kernel-LEAF: A logic plus functional language (Q2638759) (← links)
• Evaluation Strategies for Functional Logic Programming (Q2841220) (← links)
• Transformation for Refining Unraveled Conditional Term Rewriting Systems (Q2866802) (← links)
• Transformations of Conditional Rewrite Systems Revisited (Q3184732) (← links)
• Functional Logic Programming: From Theory to Curry (Q4916076) (← links)
• Completion-time optimization of rewrite-time goal solving (Q5055711) (← links)
• Priority rewriting: Semantics, confluence, and conditionals (Q5055727) (← links)
• Negation with logical variables in conditional rewriting (Q5055728) (← links)
• Open problems in rewriting (Q5055780) (← links)
• Level-confluence of conditional rewrite systems with extra variables in right-hand sides (Q5055830) (← links)
• Confluence of terminating conditional rewrite systems revisited (Q5055864) (← links)
• Characterizing Compatible View Updates in Syntactic Bidirectionalization (Q5237214) (← links)