The following pages link to (Q3365224):
Displayed 4 items.
- Swinging types=functions+relations+transition systems (Q1575635) (← links)
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- CASL: the Common Algebraic Specification Language. (Q1853453) (← links)
- Observational logic, constructor-based logic, and their duality. (Q1874280) (← links)