Ideal non-deterministic operators as a formal framework to reduce the key finding problem

Angel Mora, Inmaculada Perez de Guzmán, Manuel Enciso, Pablo Cordero. Ideal non-deterministic operators as a formal framework to reduce the key finding problem. Int. J. Comput. Math., 88(9):1860-1868, 2011. [doi]

Abstract

Abstract is missing.