GUNTHER, EMMANUEL; PAGANO, MIGUEL; SÁNCHEZ TERRAF, PEDRO; MATÍAS STEINBERG

The formal verification of the ctm approach to forcing

ANNALS OF PURE AND APPLIED LOGIC; Lugar: Amsterdam; Año: 2024

MARTÍN SANTIAGO MORONI; PEDRO SÁNCHEZ TERRAF

The Zhou Ordinal of Labelled Markov Processes over Separable Spaces

REVIEW OF SYMBOLIC LOGIC; Lugar: Cambridge; Año: 2023

JAN PACHL; PEDRO SÁNCHEZ TERRAF

Semipullbacks of labelled Markov processes

LOGICAL METHODS IN COMPUTER SCIENCE (LMCS); Lugar: BRAUNSCHWEIG; Año: 2021

CAICEDO, XAVIER; CAMPERCHOLI, MIGUEL; KEARNES, KEITH A.; SÁNCHEZ TERRAF, PEDRO; SZENDREI, ÁGNES; VAGGIONE, DIEGO

Every minimal dual discriminator variety is minimal as a quasivariety

ALGEBRA UNIVERSALIS; Año: 2021 vol. 82

GUNTHER, EMMANUEL; PAGANO, MIGUEL; PEDRO SÁNCHEZ TERRAF

Formalization of forcing in Isabelle/ZF

LECTURE NOTES IN COMPUTER SCIENCE; Lugar: Heidelberg; Año: 2020

GUNTHER, EMMANUEL; PAGANO, MIGUEL; TERRAF SÁNCHEZ, PEDRO

First Steps Towards a Formalization of Forcing

Electronic Notes in Theoretical Computer Science; Lugar: Amsterdam; Año: 2019 vol. 344 p. 119 - 136

CARLOS ARECES; MIGUEL CAMPERCHOLI; DANIEL PENAZZI; PEDRO SÁNCHEZ TERRAF

The Lattice of Congruences of a Finite Line Frame

JOURNAL OF LOGIC AND COMPUTATION; Lugar: Oxford; Año: 2017 vol. 27 p. 2653 - 2688

PEDRO SÁNCHEZ TERRAF

Bisimilarity is not Borel

MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE; Lugar: Cambridge; Año: 2017 vol. 27 p. 1265 - 1284

ERNST-ERICH DOBERKAT; PEDRO SÁNCHEZ TERRAF

Stochastic non-determinism and effectivity functions

JOURNAL OF LOGIC AND COMPUTATION; Lugar: Oxford; Año: 2015 vol. 27 p. 357 - 394

PEDRO R. D'ARGENIO; PEDRO SÁNCHEZ TERRAF; NICOLAS WOLOVICK

Bisimulations for non-deterministic labelled Markov processes

MATHEMATICAL STRUCTURES IN COMPUTER SCIENCE; Año: 2012 vol. 22 p. 43 - 68

PEDRO SÁNCHEZ TERRAF

Factor Congruences in Semilattices

REVISTA DE LA UNIóN MATEMáTICA ARGENTINA; Año: 2011 vol. 52 p. 1 - 10

PEDRO SÁNCHEZ TERRAF

Boolean Factor Congruences and Property (*)

INTERNATIONAL JOURNAL OF ALGEBRA AND COMPUTATION; Año: 2011 vol. 21 p. 931 - 950

PEDRO SÁNCHEZ TERRAF

Unprovability of the Logical Characterization of Bisimulation

Information and Computation; Lugar: Amsterdam; Año: 2011 vol. 209 p. 1048 - 1056

PEDRO SÁNCHEZ TERRAF

Existentially definable factor congruences

ACTA SCIENTIARUM MATHEMATICARUM (SZEGED); Lugar: Szeged; Año: 2010 vol. 76 p. 49 - 53

PEDRO SÁNCHEZ TERRAF; DIEGO J. VAGGIONE

Varieties with Definable Factor Congruences

TRANSACTIONS OF THE AMERICAN MATHEMATICAL SOCIETY; Año: 2009 vol. 361 p. 5061 - 5088

PEDRO SÁNCHEZ TERRAF

Directly Indecomposables in Semidegenerate Varieties of Connected po-Groupoids

ORDER-A JOURNAL ON THE THEORY OF ORDERED SETS AND ITS APPLICATIONS; Año: 2008

DIEGO J. VAGGIONE; PEDRO SÁNCHEZ TERRAF

Compact factor congruences imply Boolean factor congruences

ALGEBRA UNIVERSALIS; Lugar: Basel; Año: 2004 p. 207 - 213