Pages that link to "Item:Q1608914"
From MaRDI portal
The following pages link to ELAN from a rewriting logic point of view (Q1608914):
Displaying 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)
