The following pages link to Anne Dicky (Q1822236):
Displayed 7 items.
- An algebraic and algorithmic method for analysing transition systems (Q1822237) (← links)
- An algebraic characterization of transition system equivalences (Q1822989) (← links)
- (Q2743234) (← links)
- Embedding Finite and Infinite Words into Overlapping Tiles (Q2921995) (← links)
- Two-way Automata and Regular Languages of Overlapping Tiles (Q3187048) (← links)
- (Q4005202) (← links)
- (Q4260382) (← links)