Pages that link to "Item:Q3613396"
From MaRDI portal
The following pages link to Representing and Reasoning with Operational Semantics (Q3613396):
Displaying 8 items.
- The rewriting logic semantics project: a progress report (Q393080) (← links)
- Cryptographic protocol logic: satisfaction for (timed) Dolev-Yao cryptography (Q953531) (← links)
- A rewriting logic approach to operational semantics (Q1012130) (← links)
- Formal foundations of operational semantics (Q1426872) (← links)
- A rewriting logic approach to operational semantics (extended abstract) (Q2871834) (← links)
- The Rewriting Logic Semantics Project: A Progress Report (Q3088267) (← links)
- Representational reasoning and verification (Q5930073) (← links)
- A Survey of the Proof-Theoretic Foundations of Logic Programming (Q6063891) (← links)