Pages that link to "Item:Q5308463"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5308463):
Displaying 9 items.
- Bottom-up rewriting for words and terms (Q741256) (← links)
- On the descriptive power of term rewriting systems (Q1819932) (← links)
- Right-linear half-monadic term rewrite systems (Q1884902) (← links)
- (Q3343462) (← links)
- (Q3347284) (← links)
- Using the TPTP Language for Writing Derivations and Finite Interpretations (Q3613401) (← links)
- (Q4217941) (← links)
- Rewrite systems for natural, integral, and rational arithmetic (Q4594221) (← links)
- An Automata Theoretic Approach to Rational Tree Relations (Q5448669) (← links)