The following pages link to (Q4222985):
Displaying 10 items.
- Two case studies of semantics execution in Maude: CCS and LOTOS (Q816216) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Normal forms for algebras of connections. (Q1853455) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Comparing higher-order encodings in logical frameworks and tile logic (Q2841275) (← links)
- Tiling transactions in rewriting logic (Q2851050) (← links)
- (Q3839052) (← links)
- (Q4222979) (← links)
- GETGRATS (Q4923529) (← links)