Pages that link to "Item:Q5308450"
From MaRDI portal
The following pages link to Foundations of Software Science and Computation Structures (Q5308450):
Displaying 6 items.
- Ready to preorder: an algebraic and general proof (Q843212) (← links)
- Bisimilarity is not finitely based over BPA with interrupt (Q860878) (← links)
- On finite alphabets and infinite bases (Q924717) (← links)
- Automata, Languages and Programming (Q5716825) (← links)
- On Finite Alphabets and Infinite Bases III: Simulation (Q5756593) (← links)
- Foundations of Software Science and Computation Structures (Q5899076) (← links)