The following pages link to (Q3026323):
Displayed 5 items.
- An equational axiomatization of systolic systems (Q1122990) (← links)
- Classes of finite relations as initial abstract data types. I (Q1179266) (← links)
- An algebraic model of synchronous systems (Q1186811) (← links)
- A general result on abstract flowchart schemes with applications to the study of accessibility, reduction and minimization (Q1193888) (← links)
- Foundations of a theory of synchronous systems (Q1199824) (← links)