The following pages link to (Q4741696):
Displayed 5 items.
- On flowchart theories. I. The deterministic case (Q1093364) (← links)
- Independence of the equational axioms for iteration theories (Q1106011) (← links)
- An algebraic model of synchronous systems (Q1186811) (← links)
- The equational logic of fixed points (Q1391734) (← links)
- Equational logic of circular data type specification (Q1825026) (← links)