Pages that link to "Item:Q2841300"
From MaRDI portal
The following pages link to Comparing Meseguer's rewriting logic with the logic CRWL (Q2841300):
Displaying 5 items.
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic (Q875516) (← links)
- A new generic scheme for functional logic programming with constraints (Q880985) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Comparing Meseguer's rewriting logic with the logic CRWL (Q2841300) (← links)
- Reflection in membership equational logic, many-sorted equational logic, Horn logic with equality, and rewriting logic (Q2851051) (← links)
