Pages that link to "Item:Q5312971"
From MaRDI portal
The following pages link to Algebraic Methodology and Software Technology (Q5312971):
Displaying 4 items.
- Proving semantical equivalence of data specifications (Q678825) (← links)
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic (Q875516) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- A Foundation for Metareasoning Part I: The Proof Theory (Q4329526) (← links)