Pages that link to "Item:Q2863892"
From MaRDI portal
The following pages link to Synthesis of Mealy machines using derivatives (Q2863892):
Displaying 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)