Pages that link to "Item:Q2703691"
From MaRDI portal
The following pages link to New foundations for rewriting logic (Q2703691):
Displaying 8 items.
- Systems of combinatory logic related to Quine's `New Foundations' (Q809994) (← links)
- Maude: specification and programming in rewriting logic (Q1608917) (← links)
- Logical foundations of CafeOBJ (Q1608919) (← links)
- Rewriting logic: Roadmap and bibliography (Q1615001) (← links)
- Twenty years of rewriting logic (Q1931904) (← links)
- On refinement in rewriting logic (Q2733988) (← links)
- (Q3710512) (← links)
- On the Power of Logic Resynthesis (Q4943870) (← links)