Pages that link to "Item:Q5395090"
From MaRDI portal
The following pages link to Theoretical Aspects of Computing – ICTAC 2005 (Q5395090):
Displaying 5 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Rewriting logic bibliography by topic: 1990--2011 (Q1931905) (← links)
- Rewriting logic as a semantic framework for concurrency: a progress report (Q6104381) (← links)