The following pages link to Valentin Antimirov (Q672141):
Displaying 6 items.
- Partial derivatives of regular expressions and finite automaton constructions (Q672142) (← links)
- Rewriting extended regular expressions (Q673635) (← links)
- (Q3690260) (← links)
- Partial derivatives of regular expressions and finite automata constructions (Q4596644) (← links)
- Rewriting regular inequalities (Q5055882) (← links)
- Consistency and semantics of equational definitions over predefined algebras (Q5881176) (← links)