2 papers
cs.LO2025
Programs Versus Finite Tree-Programs
Mikhail Moshkov
In this paper, we study classes of structures and individual structures for which programs implementing functions defined everywhere are equivalent to finite tree-programs. The pro…
cs.LO2025
Algorithmic Problems for Computation Trees
Mikhail Moshkov
In this paper, we study three algorithmic problems involving computation trees: the optimization, solvability, and satisfiability problems. The solvability problem is concerned wit…