Pages that link to "Item:Q1978640"
From MaRDI portal
The following pages link to Specification and proof in membership equational logic (Q1978640):
Displayed 20 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)
- Equational abstractions (Q944377) (← 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)
- Declarative Debugging of Membership Equational Logic Specifications (Q3507364) (← links)
- MTT: The Maude Termination Tool (System Description) (Q3541712) (← links)
- Automated Induction with Constrained Tree Automata (Q3541728) (← links)
- (Q4222859) (← links)
- (Q4222979) (← links)
- Inductive-data-type systems (Q5958292) (← links)