We stand with Ukraine  

Pedro Sánchez Terraf

Orcid: 0000-0003-3928-6942

According to our database1, Pedro Sánchez Terraf authored at least 22 papers between 2008 and 2024.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

On csauthors.net:

Bibliography

2024
A classification of bisimilarities for general Markov decision processes.
[BibTeX]
[DOI]
Martín Santiago Moroni
,
Pedro Sánchez Terraf
CoRR, 2024

The formal verification of the ctm approach to forcing.
[BibTeX]
[DOI]
Emmanuel Gunther
,
Miguel Pagano
,
Pedro Sánchez Terraf
,
Matías Steinberg
Ann. Pure Appl. Log., 2024

2023
The Zhou Ordinal of Labelled Markov Processes over separable Spaces.
[BibTeX]
[DOI]
Martín Santiago Moroni
,
Pedro Sánchez Terraf
Rev. Symb. Log., December, 2023

2022
The Independence of the Continuum Hypothesis in Isabelle/ZF.
[BibTeX]
[DOI]
Emmanuel Gunther
,
Miguel Pagano
,
Pedro Sánchez Terraf
,
Matías Steinberg
Arch. Formal Proofs, 2022

Transitive Models of Fragments of ZFC.
[BibTeX]
[DOI]
Emmanuel Gunther
,
Miguel Pagano
,
Pedro Sánchez Terraf
,
Matías Steinberg
Arch. Formal Proofs, 2022

2021
Semipullbacks of labelled Markov processes.
[BibTeX]
[DOI]
Jan Pachl
,
Pedro Sánchez Terraf
Log. Methods Comput. Sci., 2021

2020
Cofinality and the Delta System Lemma.
[BibTeX]
[DOI]
Pedro Sánchez Terraf
Arch. Formal Proofs, 2020

Formalization of Forcing in Isabelle/ZF.
[BibTeX]
[DOI]
Emmanuel Gunther
,
Miguel Pagano
,
Pedro Sánchez Terraf
Arch. Formal Proofs, 2020

2019
Mechanization of Separation in Generic Extensions.
[BibTeX]
[DOI]
Emmanuel Gunther
,
Miguel Pagano
,
Pedro Sánchez Terraf
CoRR, 2019

2018
First Steps Towards a Formalization of Forcing.
[BibTeX]
[DOI]
Emmanuel Gunther
,
Miguel Pagano
,
Pedro Sánchez Terraf
Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, 2018

2017
Bisimilarity is not Borel.
[BibTeX]
[DOI]
Pedro Sánchez Terraf
Math. Struct. Comput. Sci., 2017

Stochastic non-determinism and effectivity functions.
[BibTeX]
[DOI]
Ernst-Erich Doberkat
,
Pedro Sánchez Terraf
J. Log. Comput., 2017

The lattice of congruences of a finite line frame.
[BibTeX]
[DOI]
Carlos Areces
,
Miguel Campercholi
,
Daniel Penazzi
,
Pedro Sánchez Terraf
J. Log. Comput., 2017

2015
The Lattice of Congruences of a Finite Linear Frame.
[BibTeX]
[DOI]
Carlos Areces
,
Miguel Campercholi
,
Daniel Penazzi
,
Pedro Sánchez Terraf
CoRR, 2015

2014
Stochastic Nondeterminism and Effectivity Functions.
[BibTeX]
[DOI]
Ernst-Erich Doberkat
,
Pedro Sánchez Terraf
CoRR, 2014

2012
Bisimulations for non-deterministic labelled Markov processes.
[BibTeX]
[DOI]
Pedro R. D'Argenio
,
Pedro Sánchez Terraf
,
Nicolás Wolovick
Math. Struct. Comput. Sci., 2012

A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems.
[BibTeX]
[DOI]
Carlos E. Budde
,
Pedro R. D'Argenio
,
Pedro Sánchez Terraf
,
Nicolás Wolovick
Proceedings of the Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, 2012

2011
Boolean factor Congruences and Property (*).
[BibTeX]
[DOI]
Pedro Sánchez Terraf
Int. J. Algebra Comput., 2011

Unprovability of the logical characterization of bisimulation.
[BibTeX]
[DOI]
Pedro Sánchez Terraf
Inf. Comput., 2011

2010
Bisimulations for Nondeterministic Labeled Markov Processes
[BibTeX]
[DOI]
Pedro R. D'Argenio
,
Pedro Sánchez Terraf
,
Nicolás Wolovick
CoRR, 2010

2009
Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization.
[BibTeX]
[DOI]
Pedro R. D'Argenio
,
Nicolás Wolovick
,
Pedro Sánchez Terraf
,
Pablo Celayes
Proceedings of the QEST 2009, 2009

2008
Directly Indecomposables in Semidegenerate Varieties of Connected po-Groupoids.
[BibTeX]
[DOI]
Pedro Sánchez Terraf
Order, 2008


  Loading...