24 citations · 59 across the 16 of their papers we have counts for
Showing cs.CCShow all
2 papers · 1 filter
cs.CC2020
Primitive Recursive Ordered Fields and Some Applications
Victor Selivanov, Svetlana Selivanova
We establish primitive recursive versions of some known facts about computable ordered fields of reals and computable reals, and then apply them to proving primitive recursiveness…
cs.CC2008
Efficient Algorithms for Membership in Boolean Hierarchies of Regular Languages
Christian Glasser, Heinz Schmitz, Victor Selivanov
The purpose of this paper is to provide efficient algorithms that decide membership for classes of several Boolean hierarchies for which efficiency (or even decidability) were prev…