Pages that link to "Item:Q2852094"
From MaRDI portal
The following pages link to The rewriting logic semantics project (Q2852094):
Displaying 12 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- The rewriting logic semantics project (Q877024) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- Logical semantics for the rewriting calculus (Q2848049) (← links)
- Modular rewriting semantics in practice (Q2849873) (← links)
- A rewriting logic approach to operational semantics (extended abstract) (Q2871834) (← links)
- A rewriting semantics for ABEL with applications to hardware/software co-design and analysis (Q2873774) (← links)
- From Rewriting Logic, to Programming Language Semantics, to Program Verification (Q2945730) (← links)
- (Q4292826) (← links)
- Memory Representations in Rewriting Logic Semantics Definitions (Q5179135) (← links)
- Automated Reasoning (Q5307047) (← links)
- Theoretical Aspects of Computing – ICTAC 2005 (Q5395090) (← links)