Pages that link to "Item:Q1608914"
From MaRDI portal
The following pages link to ELAN from a rewriting logic point of view (Q1608914):
Displaying 31 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)
- Handling relations over finite domains in the rule-based system ELAN (Q2703698) (← links)
- Methods for proving termination of rewriting-based programming languages by transformation (Q2808239) (← links)
- Applying ELAN strategies in simulating processors over simple architectures (Q2843608) (← links)
- Distributive \(\rho\)-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)
- A compiler for nondeterministic term rewriting systems (Q5055858) (← links)
- Strategy-Based Proof Calculus for Membrane Systems (Q5179128) (← links)
- A Rewriting Semantics for Maude Strategies (Q5179141) (← links)
- REWRITING WITH STRATEGIES IN $\mathsf{ELAN}$: A FUNCTIONAL SEMANTICS (Q5249248) (← links)
- Model Checking TLR* Guarantee Formulas on Infinite Systems (Q5403070) (← links)
- Advances in Computer Science - ASIAN 2004. Higher-Level Decision Making (Q5463948) (← links)
