Travelled to:1 × Finland
1 × Germany
1 × Italy
1 × Japan
1 × Spain
Collaborated with:∅ A.Konovalov O.V.Kudinov K.W.Wagner
Talks about:regular (7) languag (6) hierarchi (3) fine (3) boolean (2) aperiod (2) algebra (2) properti (1) classifi (1) topolog (1)
Person: Victor L. Selivanov
DBLP: Selivanov:Victor_L=
Contributed to:
2013
201120092008200720082007
1995Wrote 8 papers:
- LATA-2013-SelivanovK #algebra
- Boolean Algebras of Regular ω-Languages (VLS, AK), pp. 504–515.
- DLT-2011-SelivanovK #algebra #regular expression
- Boolean Algebras of Regular Languages (VLS, AK), pp. 386–396.
- DLT-2009-KudinovS #order #word
- Definability in the Infix Order on Words (OVK, VLS), pp. 454–465.
- DLT-2008-SelivanovW #complexity
- Complexity of Topological Properties of Regular ω-Languages (VLS, KWW), pp. 529–542.
- DLT-2007-Selivanov
- Fine Hierarchy of Regular Aperiodic ω-Languages (VLS), pp. 399–410.
- DLT-J-2007-Selivanov08
- Fine Hierarchy of Regular Aperiodic ω-Languages (VLS), pp. 649–675.
- LATA-2007-Selivanov
- Classifying ω-regular partitions (VLS), pp. 529–540.
- TAPSOFT-1995-Selivanov
- Fine Hierarchy of Regular omega-Languages (VLS), pp. 277–287.