Selivanov, Victor
135  results:
Search for persons X
?
6

Descriptive complexity of qcb0-spaces:

Selivanov, Victor
Theoretical Computer Science.  945 (2023)  - p. 113666 , 2023
 
?
8

Logic vs Topology on Regular $$\omega $$-languages:

, In: Lecture Notes in Computer Science; Unity of Logic and Computation,
 
?
9

Extending Wagner's Hierarchy to Deterministic Visibly Pushd..:

, In: Lecture Notes in Computer Science; Unity of Logic and Computation,
Selivanov, Victor - p. 190-201 , 2023
 
?
14

Enumerating Classes of Effective Quasi-Polish Spaces:

, In: Revolutions and Revelations in Computability; Lecture Notes in Computer Science,
 
1-15