Pages that link to "Item:Q2851051"
From MaRDI portal
The following pages link to Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic (Q2851051):
Displaying 5 items.
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic (Q875516) (← links)
- Specification and proof in membership equational logic (Q1978640) (← links)
- Executable structural operational semantics in Maude (Q2369036) (← links)
- (Q4223000) (← links)
- Functional and Logic Programming (Q5308021) (← links)