The following pages link to (Q4222853):
Displaying 30 items.
- A scalable module system (Q391632) (← links)
- Coinduction for preordered algebra (Q627121) (← links)
- 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)
- Twenty years of rewriting logic (Q1931904) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- A complete semantics of \(\mathbb{K}\) and its translation to Isabelle (Q2119971) (← links)
- Structuring theories with implicit morphisms (Q2185893) (← links)
- Programming and symbolic computation in Maude (Q2291818) (← links)
- Executable structural operational semantics in Maude (Q2369036) (← links)
- Generic type-preserving traversal strategies (Q2841223) (← links)
- A survey of rewriting strategies in program transformation systems (Q2841225) (← links)
- A logic for rewriting strategies (Q2841238) (← links)
- Induction for termination with local strategies (Q2841240) (← links)
- Lazy rewriting and context-sensitive rewriting (Q2841298) (← links)
- Correct and complete (positive) strategy annotations for \textsf{OBJ} (Q2851049) (← links)
- Outermost ground termination (Q2851054) (← links)
- Bigraphs and their algebra (Q2870188) (← links)
- Towards Logical Frameworks in the Heterogeneous Tool Set Hets (Q2890328) (← links)
- Two Decades of Maude (Q2945709) (← links)
- (Q4222858) (← links)
- (Q4222859) (← links)
- (Q4222979) (← links)
- Interactive Simplifier Tracing and Debugging in Isabelle (Q5495933) (← links)
- Rewriting logic as a semantic framework for concurrency: a progress report (Q6104381) (← links)
