Buscar
Mostrando ítems 1-6 de 6
Compacidad y decidibilidad de lógicas monadicas con cuantificadores cardinales
(Universidad Nacuional de Colombia; Sociedad Colombiana de matemáticas, 1980)
Este artículo se refiere al estudio de extensiones de la lógica de primer orden (Lωω) que preservan ciertas propiedades fundamentales, y aumentan su poder expresivo, en el sentido de que permiten axiomatizar clases de ...
Proofs of the undecidability of stegananalysis techniques
(SpringerCH, 2020)
Steganalysis comprises a set of techniques that strive to find concealed information within diverse types of digital media. On the contrary, Steganography involves a group of methods that, by manipulation of a cover object, ...
Lógicas modales con memoria
(Facultad de Ciencias Exactas y Naturales. Universidad de Buenos Aires, 2009)
Computabilidad y decidibilidad
(Universidad Nacional de Ingeniería, 2013)
Computabilidad y decidibilidad
(Universidad Nacional de Ingeniería, 2013)