PT
Pedro Sánchez Terraf
math.LOcs.LOmath.HOmath.PRmath.RA
On Valency
published · living versionsW_7add9r2y·v1 · currentpublished
Preprints & journals
18 papers in the corpus · 2008–2026The complexity of bisimilarity on pointmass processes2604.06443v1 · Mart'in Santiago Moroni, Pedro S'anchez Terraf2026 · 0 citationsarXiv
Chain Bounding, the leanest proof of Zorn's lemma, and an illustration of computerized proof formalization2404.11638v2 · Guillermo L. Incatasciato, Pedro S'anchez Terraf2024 · 0 citationsarXiv
Definability of band structures on posets2404.07877v2 · Joel Kuperman, Alejandro Petrovich, Pedro S'anchez Terraf2024 · 0 citationsarXiv
A classification of bisimilarities for general Markov decision processes2401.09273v3 · Mart'in Santiago Moroni, Pedro S'anchez Terraf2024 · 0 citationsarXiv
The formal verification of the ctm approach to forcing2210.15609v2 · Emmanuel Gunther, Miguel Pagano, Pedro S'anchez Terraf et al.2022 · 0 citationsarXiv
The Zhou Ordinal of Labelled Markov Processes over Separable Spaces2005.03630v3 · Mart'in Santiago Moroni, Pedro S'anchez Terraf2020 · 1 citationarXiv
Formalization of Forcing in Isabelle/ZF2001.09715v2 · Emmanuel Gunther, Miguel Pagano, Pedro S'anchez Terraf et al.2020 · 4 citationsarXiv
Mechanization of Separation in Generic Extensions1901.03313v1 · Emmanuel Gunther, Miguel Pagano, Pedro S'anchez Terraf2019 · 1 citationarXiv
First steps towards a formalization of Forcing1807.05174v2 · Emmanuel Gunther, Miguel Pagano, Pedro S'anchez Terraf2018 · 3 citationsarXiv
Semipullbacks of labelled Markov processes1706.02801v4 · Jan Pachl, Pedro S'anchez Terraf2017 · 4 citationsLogical Methods in Computer Science, Volume 17, Issue 2 (April 14, 2021) lmcs:5886
Yet Another Proof of Glivenko's Theorem1510.05873v2 · Pedro S'anchez Terraf2015 · 0 citationsarXiv
The Lattice of Congruences of a Finite Line Frame1504.01789v2 · Carlos Areces, Miguel Campercholi, Daniel Penazzi et al.2015 · 0 citationsarXiv
Stochastic Nondeterminism and Effectivity Functions1405.7141v4 · Ernst-Erich Doberkat, Pedro S'anchez Terraf2014 · 13 citationsarXiv
Bisimulations for Nondeterministic Labeled Markov Processes1011.3362v1 · Pedro D'Argenio, Pedro S'anchez Terraf, Nicol'as Wolovick2010 · 4 citationsarXiv
Unprovability of the Logical Characterization of Bisimulation1005.5142v3 · Pedro S'anchez Terraf2010 · 25 citationsarXiv
Existentially Definable Factor Congruences0906.4722v1 · Pedro S'anchez Terraf2009 · 5 citationsActa Scientiarum Mathematicarum (Szeged) Volume 76, Numbers 1-2, 2010, pp. 49--53
Boolean Factor Congruences and Property (*)0809.3815v1 · Pedro S'anchez Terraf2008 · 1 citationarXiv
Factor Congruences in Semilattices0809.3822v2 · Pedro S'anchez Terraf2008 · 1 citationarXiv
Career total: 34 works. 18 are in this corpus.
Profile built from the corpus for this byline.
Author records are still filling in while the Hub is in alpha. If this is your page, you'll be able to claim it soon. Spot a mistake? Tell us.