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
∙
01/10/2022
An Exact Algorithm for finding Maximum Induced Matching in Subcubic Graphs
The Maximum Induced Matching problem asks to find the maximum k such tha...
research
∙
11/17/2021
Addition Machines, Automatic Functions and Open Problems of Floyd and Knuth
Floyd and Knuth investigated in 1990 register machines which can add, su...
research
∙
11/08/2021
