Pages that link to "Item:Q790235"
From MaRDI portal
The following pages link to Recursion and iteration in continuous theories: the ''M-construction'' (Q790235):
Displaying 6 items.
- Algebras, polynomials and programs (Q802882) (← links)
- A Mezei-Wright theorem for categorical algebras (Q1044831) (← links)
- On flowchart theories. II: The nondeterministic case (Q1101203) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Equational logic of circular data type specification (Q1825026) (← links)
- Axiomatizing weighted synchronization trees and weighted bisimilarity (Q2447752) (← links)
