The following pages link to (Q2863892):
Displayed 4 items.
- Finite automata and numbers (Q314209) (← links)
- A formal abstract framework for modelling and testing complex software systems (Q714878) (← links)
- Monoidal computer III: a coalgebraic view of computability and complexity (extended abstract) (Q1798794) (← links)
- Coalgebraising Subsequential Transducers (Q2873665) (← links)