16 citations · 35 across the 16 of their papers we have counts for
1 paper · 2 filters
A. Rubtsov, M. Vyalyi
Models of a generalized nondeterminism are defined by limitations on nonde- terministic behavior of a computing device. A regular realizability problem is a problem of verifying ex…