Pages that link to "Item:Q1608925"
From MaRDI portal
The following pages link to Equational rules for rewriting logic (Q1608925):
Displaying 17 items.
- Rewriting modulo SMT and open system analysis (Q347384) (← links)
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- A formal library of set relations and its application to synchronous languages (Q654904) (← links)
- Strict coherence of conditional rewriting modulo axioms (Q683741) (← links)
- Formalization and correctness of the PALS architectural pattern for distributed real-time systems (Q714796) (← links)
- Language definitions as rewrite theories (Q730476) (← links)
- Algebraic simulations (Q844884) (← links)
- Specification and analysis of the AER/NCA active network protocol suite in real-time Maude (Q862853) (← links)
- The rewriting logic semantics project (Q877024) (← links)
- Semantics and pragmatics of real-time maude (Q880982) (← links)
- Equational abstractions (Q944377) (← links)
- Formal modeling, performance estimation, and model checking of wireless sensor network algorithms in Real-Time Maude (Q1004068) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- Theorem proving modulo (Q1431339) (← links)
- On the Church-Rosser and coherence properties of conditional order-sorted rewrite theories (Q1931906) (← links)
- Narrowing and Rewriting Logic: from Foundations to Applications (Q2873786) (← links)
- A Rewriting-Based Model Checker for the Linear Temporal Logic of Rewriting (Q5166636) (← links)
