The following pages link to (Q4449180):
Displayed 15 items.
- Proving termination of context-sensitive rewriting by transformation (Q859833) (← links)
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic (Q875516) (← links)
- The rewriting logic semantics project (Q877024) (← links)
- Equational abstractions (Q944377) (← links)
- Operational termination of conditional term rewriting systems (Q1041807) (← links)
- Observational congruences for dynamically reconfigurable tile systems (Q1782000) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- Applications and extensions of context-sensitive rewriting (Q2043816) (← links)
- Proving operational termination of membership equational programs (Q2271899) (← links)
- Executable structural operational semantics in Maude (Q2369036) (← links)
- Semantic foundations for generalized rewrite theories (Q2503334) (← links)
- Recent Advances in Real-Time Maude (Q2864519) (← links)
- Abstraction and Completeness for Real-Time Maude (Q2873773) (← links)
- Modular rewritable Petri nets: an efficient model for dynamic distributed systems (Q6120343) (← links)
- Canonization of reconfigurable PT nets in \texttt{Maude} (Q6173110) (← links)