Pedro Sánchez Terraf

32 papers Journal 28Unranked 4
YearRankTypeTitle / Venue / Authors
2026 J jnl
Chain Bounding, the Leanest Proof of Zorn's Lemma, and an Illustration of Computerized Proof Formalization.
Am. Math. Mon.
Guillermo L. Incatasciato, Pedro Sánchez Terraf
2025 J jnl
A classification of bisimilarities for general Markov decision processes.
Math. Struct. Comput. Sci.
Martín Santiago Moroni, Pedro Sánchez Terraf
2024 J jnl
A classification of bisimilarities for general Markov decision processes.
CoRR
Martín Santiago Moroni, Pedro Sánchez Terraf
2024 J jnl
The formal verification of the ctm approach to forcing.
Ann. Pure Appl. Log.
Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf, Matías Steinberg
2023 J jnl
The Zhou Ordinal of Labelled Markov Processes over separable Spaces.
Rev. Symb. Log.
Martín Santiago Moroni, Pedro Sánchez Terraf
2022 J jnl
The Independence of the Continuum Hypothesis in Isabelle/ZF.
Arch. Formal Proofs
Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf, Matías Steinberg
2022 J jnl
The formal verification of the ctm approach to forcing.
CoRR
Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf, Matías Steinberg
2022 J jnl
Transitive Models of Fragments of ZFC.
Arch. Formal Proofs
Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf, Matías Steinberg
2021 J jnl
Semipullbacks of labelled Markov processes.
Log. Methods Comput. Sci.
Jan Pachl, Pedro Sánchez Terraf
2020 J jnl
Cofinality and the Delta System Lemma.
Arch. Formal Proofs
Pedro Sánchez Terraf
2020 — conf
Formalization of Forcing in Isabelle/ZF.
IJCAR (2)
Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf
2020 J jnl
Formalization of Forcing in Isabelle/ZF.
Arch. Formal Proofs
Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf
2020 J jnl
Formalization of Forcing in Isabelle/ZF.
CoRR
Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf
2020 J jnl
The Zhou Ordinal of Labelled Markov Processes over Separable Spaces.
CoRR
Martín Santiago Moroni, Pedro Sánchez Terraf
2019 J jnl
Mechanization of Separation in Generic Extensions.
CoRR
Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf
2018 — conf
First Steps Towards a Formalization of Forcing.
LSFA
Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf
2018 J jnl
First steps towards a formalization of Forcing.
CoRR
Emmanuel Gunther, Miguel Pagano, Pedro Sánchez Terraf
2017 J jnl
Bisimilarity is not Borel.
Math. Struct. Comput. Sci.
Pedro Sánchez Terraf
2017 J jnl
Semipullbacks of labelled Markov processes.
CoRR
Jan Pachl, Pedro Sánchez Terraf
2017 J jnl
Stochastic non-determinism and effectivity functions.
J. Log. Comput.
Ernst-Erich Doberkat, Pedro Sánchez Terraf
2017 J jnl
The lattice of congruences of a finite line frame.
J. Log. Comput.
Carlos Areces, Miguel Campercholi, Daniel Penazzi, Pedro Sánchez Terraf
2015 J jnl
The Lattice of Congruences of a Finite Linear Frame.
CoRR
Carlos Areces, Miguel Campercholi, Daniel Penazzi, Pedro Sánchez Terraf
2014 J jnl
Stochastic Nondeterminism and Effectivity Functions.
CoRR
Ernst-Erich Doberkat, Pedro Sánchez Terraf
2012 — conf
A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems.
ROCKS
Carlos E. Budde, Pedro R. D'Argenio, Pedro Sánchez Terraf, Nicolás Wolovick
2012 J jnl
Bisimilarity is not Borel
CoRR
Pedro Sánchez Terraf
2012 J jnl
Bisimulations for non-deterministic labelled Markov processes.
Math. Struct. Comput. Sci.
Pedro R. D'Argenio, Pedro Sánchez Terraf, Nicolás Wolovick
2011 J jnl
Boolean factor Congruences and Property (*).
Int. J. Algebra Comput.
Pedro Sánchez Terraf
2011 J jnl
Unprovability of the logical characterization of bisimulation.
Inf. Comput.
Pedro Sánchez Terraf
2010 J jnl
Bisimulations for Nondeterministic Labeled Markov Processes
CoRR
Pedro R. D'Argenio, Pedro Sánchez Terraf, Nicolás Wolovick
2010 J jnl
Unprovability of the Logical Characterization of Bisimulation
CoRR
Pedro Sánchez Terraf
2009 — conf
Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization.
QEST
Pedro R. D'Argenio, Nicolás Wolovick, Pedro Sánchez Terraf, Pablo Celayes
2008 J jnl
Directly Indecomposables in Semidegenerate Varieties of Connected po-Groupoids.
Order
Pedro Sánchez Terraf