Pages that link to "Item:Q2873786"
From MaRDI portal
The following pages link to Narrowing and Rewriting Logic: from Foundations to Applications (Q2873786):
Displayed 4 items.
- Twenty years of rewriting logic (Q1931904) (← links)
- Fuzzy lattice operations on first-order terms over signatures with similar constructors: a constraint-based approach (Q2219192) (← links)
- A Modular Equational Generalization Algorithm (Q3617428) (← links)
- Functional Logic Programming: From Theory to Curry (Q4916076) (← links)