PEDRO OCTAVIO SANCHEZ TERRAF

Datos académicos

Lugar de trabajo	CONSEJO NACIONAL DE INVESTIGACIONES CIENTIFICAS Y TECNICAS / CENTRO CIENTIFICO TECNOLOGICO CONICET - CORDOBA / CENTRO DE INVESTIGACION Y ESTUDIOS DE MATEMATICA \| UNIVERSIDAD NACIONAL DE CORDOBA / CENTRO DE INVESTIGACION Y ESTUDIOS DE MATEMATICA
Título	Doctor en Matemática
Grado	Universitario de posgrado/doctorado
Campo de aplicación	Prom.Gral.del Conoc.-Cs.Exactas y Naturales
Especialidad	Lógica Matemática, Métodos Formales en Computación.

PRODUCCION CIENTÍFICO TECNOLÓGICA

Mostrando ítems 1-6 de 6

Artículo Bisimilarity is not borel

Sanchez Terraf, Pedro Octavio (Cambridge University Press, 2017-10)
Artículo Bisimulations for non-deterministic labelled Markov processes

D'argenio, Pedro Ruben ; Sanchez Terraf, Pedro Octavio ; Wolovick, Nicolás (Cambridge University Press, 2012-02)
Artículo Existentially definable factor congruences

Sanchez Terraf, Pedro Octavio (Springer, 2010-06-01)
Artículo First steps towards a formalization of forcing

Gunther, Emmanuel ; Pagano, Miguel Maria ; Sanchez Terraf, Pedro Octavio (Elsevier, 2019-08)
Artículo Stochastic non-determinism and effectivity functions

Doberkat, Ernst Erich; Sanchez Terraf, Pedro Octavio (Oxford University Press, 2017-02)
Artículo The lattice of congruences of a finite line frame

Areces, Carlos Eduardo ; Campercholi, Miguel Alejandro Carlos ; Penazzi, Daniel Eduardo; Sanchez Terraf, Pedro Octavio (Oxford University Press, 2017-08)

Mostrando ítems 1-6 de 6