Pedro Sánchez Terraf

Publication Activity (10 Years)

Years Active: 2008-2024
Publications (10 Years): 20

Top Topics

Formal Verification

Stochastic Processes

Markov Processes

Top Venues

Arch. Formal Proofs

J. Log. Comput.

Publications

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