The following pages link to (Q4222853):
Displayed 12 items.
- Behavioral abstraction is hiding information (Q703529) (← links)
- A \(\rho\)-calculus of explicit constraint application (Q880989) (← links)
- Logical foundations of CafeOBJ (Q1608919) (← links)
- Comparing logics for rewriting: Rewriting logic, action calculi and tile logic (Q1608920) (← links)
- Actor theories in rewriting logic (Q1608923) (← links)
- Automata-driven automated induction (Q1854445) (← links)
- Context-sensitive rewriting strategies (Q1854569) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- Executable structural operational semantics in Maude (Q2369036) (← links)
- (Q4222858) (← links)
- (Q4222859) (← links)
- (Q4222979) (← links)