Pages that link to "Item:Q730473"

The following pages link to Normal forms and normal theories in conditional rewriting (Q730473):

Displaying 23 items.

• Dependency pairs for proving termination properties of conditional term rewriting systems (Q347382) (← links)
• Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
• Normalization properties for shallow TRS and innermost rewriting (Q964737) (← links)
• The 2D dependency pair framework for conditional rewrite systems. I: Definition and basic processors (Q1635507) (← links)
• Use of logical models for proving infeasibility in term rewriting (Q1751429) (← links)
• Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
• Symbolic computation in Maude: some tapas (Q2119100) (← links)
• The 2D dependency pair framework for conditional rewrite systems. II: Advanced processors and implementation techniques (Q2228436) (← links)
• Generalized rewrite theories, coherence completion, and symbolic methods (Q2291817) (← links)
• Programming and symbolic computation in Maude (Q2291818) (← links)
• Ground confluence of order-sorted conditional specifications modulo axioms (Q2291829) (← links)
• (Q2723894) (← links)
• Sentence-Normalized Conditional Narrowing Modulo in Rewriting Logic and Maude (Q2945699) (← links)
• Sufficiency Conditions for Bokut' Normal Forms (Q3098174) (← links)
• (Q3341883) (← links)
• (Q4408994) (← links)
• Trace rewriting: Computing normal forms in time O(n log n) (Q4593937) (← links)
• (Q5020553) (← links)
• (Q5020960) (← links)
• Normal forms and syntactic completeness proofs for functional independencies (Q5958763) (← links)
• Symbolic Specialization of Rewriting Logic Theories with <tt>Presto</tt> (Q6063888) (← links)
• Checking Sufficient Completeness by Inductive Theorem Proving (Q6487296) (← links)
• On Ground Convergence and Completeness of Conditional Equational Program Hierarchies (Q6487297) (← links)