Pages that link to "Item:Q1978640"
From MaRDI portal
The following pages link to Specification and proof in membership equational logic (Q1978640):
Displayed 16 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)
- Representing the MSR cryptoprotocol specification language in an extension of rewriting logic with dependent types (Q880987) (← links)
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- Reflection in conditional rewriting logic (Q1608918) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Automata-driven automated induction (Q1854445) (← links)
- Functorial models for Petri nets (Q1854467) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- Executable structural operational semantics in Maude (Q2369036) (← links)
- Semantic foundations for generalized rewrite theories (Q2503334) (← links)
- (Q2703692) (← links)
- (Q4222859) (← links)
- (Q4222979) (← links)
- Inductive-data-type systems (Q5958292) (← links)