Pages that link to "Item:Q1608914"

The following pages link to ELAN from a rewriting logic point of view (Q1608914):

Displayed 26 items.

• An integrated framework for the diagnosis and correction of rule-based programs (Q604477) ‎ (← links)
• Strict coherence of conditional rewriting modulo axioms (Q683741) ‎ (← links)
• Characterizing and proving operational termination of deterministic conditional term rewriting systems (Q710679) ‎ (← links)
• Invariant-driven specifications in Maude (Q838161) ‎ (← links)
• Algebraic simulations (Q844884) ‎ (← links)
• Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic (Q875516) ‎ (← links)
• A rewriting logic framework for operational semantics of membrane systems (Q877021) ‎ (← links)
• Strategy based semantics for mobility with time and access permissions (Q890480) ‎ (← links)
• Equational abstractions (Q944377) ‎ (← links)
• A rewriting logic approach to operational semantics (Q1012130) ‎ (← links)
• Operational termination of conditional term rewriting systems (Q1041807) ‎ (← links)
• Rewriting logic: Roadmap and bibliography (Q1615001) ‎ (← links)
• Twenty years of rewriting logic (Q1931904) ‎ (← links)
• Proving operational termination of membership equational programs (Q2271899) ‎ (← links)
• A modular order-sorted equational generalization algorithm (Q2437800) ‎ (← links)
• A survey of strategies in rule-based program transformation systems (Q2456575) ‎ (← links)
• Methods for Proving Termination of Rewriting-based Programming Languages by Transformation (Q2808239) ‎ (← links)
• Distributive ρ-calculus (Q2873778) ‎ (← links)
• Rewriting Strategies and Strategic Rewrite Programs (Q2945718) ‎ (← links)
• MTT: The Maude Termination Tool (System Description) (Q3541712) ‎ (← links)
• A Modular Equational Generalization Algorithm (Q3617428) ‎ (← links)
• Foundations of the rule-based system ρLog (Q3647259) ‎ (← links)
• Order-Sorted Generalization (Q4982625) ‎ (← links)
• Strategy-Based Proof Calculus for Membrane Systems (Q5179128) ‎ (← links)
• A Rewriting Semantics for Maude Strategies (Q5179141) ‎ (← links)
• Model Checking TLR* Guarantee Formulas on Infinite Systems (Q5403070) ‎ (← links)