Pages that link to "Item:Q5312971"

The following pages link to Algebraic Methodology and Software Technology (Q5312971):

Displaying 2 items.

• 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)