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.
CoRR, 2024

The formal verification of the ctm approach to forcing.
Ann. Pure Appl. Log., 2024

2023
The Zhou Ordinal of Labelled Markov Processes over separable Spaces.
Rev. Symb. Log., December, 2023

2022
The Independence of the Continuum Hypothesis in Isabelle/ZF.
Arch. Formal Proofs, 2022

Transitive Models of Fragments of ZFC.
Arch. Formal Proofs, 2022

2021
Semipullbacks of labelled Markov processes.
Log. Methods Comput. Sci., 2021

2020
Cofinality and the Delta System Lemma.
Arch. Formal Proofs, 2020

Formalization of Forcing in Isabelle/ZF.
Arch. Formal Proofs, 2020

2019
Mechanization of Separation in Generic Extensions.
CoRR, 2019

2018
First Steps Towards a Formalization of Forcing.
Proceedings of the 13th Workshop on Logical and Semantic Frameworks with Applications, 2018

2017
Bisimilarity is not Borel.
Math. Struct. Comput. Sci., 2017

Stochastic non-determinism and effectivity functions.
J. Log. Comput., 2017

The lattice of congruences of a finite line frame.
J. Log. Comput., 2017

2015
The Lattice of Congruences of a Finite Linear Frame.
CoRR, 2015

2014
Stochastic Nondeterminism and Effectivity Functions.
CoRR, 2014

2012
Bisimulations for non-deterministic labelled Markov processes.
Math. Struct. Comput. Sci., 2012

A Theory for the Semantics of Stochastic and Non-deterministic Continuous Systems.
Proceedings of the Stochastic Model Checking. Rigorous Dependability Analysis Using Model Checking Techniques for Stochastic Systems, 2012

2011
Boolean factor Congruences and Property (*).
Int. J. Algebra Comput., 2011

Unprovability of the logical characterization of bisimulation.
Inf. Comput., 2011

2010
Bisimulations for Nondeterministic Labeled Markov Processes
CoRR, 2010

2009
Nondeterministic Labeled Markov Processes: Bisimulations and Logical Characterization.
Proceedings of the QEST 2009, 2009

2008
Directly Indecomposables in Semidegenerate Varieties of Connected po-Groupoids.
Order, 2008


  Loading...