14 citations · 33 across the 9 of their papers we have counts for
Showing 2020Show all
2 papers · 1 filter
math.LO2020
Computable classifications of continuous, transducer, and regular functions
Johanna N. Y. Franklin, Rupert Hölzl, Alexander Melnikov +2
We develop a systematic algorithmic framework that unites global and local classification problems using index sets. We prove that the classification problem for continuous (binary…
math.LO2020★ 7 cited
Foundations of Online Structure Theory II: The Operator Approach
Rod Downey, Alexander Melnikov, Keng Meng Ng
We introduce a framework for online structure theory. Our approach generalises notions arising independently in several areas of computability theory and complexity theory. We sugg…