research
∙
01/18/2022
A Computation Model with Automatic Functions and Relations as Primitive Operations
Prior work of Hartmanis and Simon (Hartmanis and Simon, 1974) and Floyd ...
share
research
∙
11/08/2021
Alternating Automatic Register Machines
This paper introduces and studies a new model of computation called an A...
research
∙
11/25/2020
Learnability and Positive Equivalence Relations
Prior work of Gavryushkin, Khoussainov, Jain and Stephan investigated wh...
research
∙
01/15/2019