The following pages link to (Q4063606):
Displayed 10 items.
- Codatatypes in ML (Q908682) (← links)
- Automata theory based on complete residuated lattice-valued logic: a categorical approach (Q1040923) (← links)
- On the algebra of order (Q1143782) (← links)
- Some fundamental algebraic tools for the semantics of computation. III: Indexed categories (Q1183597) (← links)
- Foundations of system theory: Decomposable systems (Q1212896) (← links)
- Discrete-time machines in closed monoidal categories. I (Q1216447) (← links)
- On a category of fuzzy automata with relations (Q2987869) (← links)
- Minimal realization for fuzzy behaviour: A bicategory-theoretic approach (Q2988610) (← links)
- GENERAL FUZZY AUTOMATA BASED ON COMPLETE RESIDUATED LATTICE-VALUED (Q4553378) (← links)
- (Q5212270) (← links)