Follow
Pedro Sánchez Terraf
Title
Cited by
Cited by
Year
Bisimulations for non-deterministic labelled Markov processes
PR D'argenio, PS Terraf, N Wolovick
Mathematical Structures in Computer Science 22 (1), 43-68, 2012
412012
Unprovability of the logical characterization of bisimulation
PS Terraf
Information and Computation 209 (7), 1048-1056, 2011
332011
Nondeterministic labeled Markov processes: Bisimulations and logical characterization
PR D'Argenio, N Wolovick, PS Terraf, P Celayes
2009 Sixth International Conference on the Quantitative Evaluation of …, 2009
302009
Varieties with definable factor congruences
P Sánchez Terraf, D Vaggione
Transactions of the American Mathematical Society 361 (10), 5061-5088, 2009
202009
Stochastic non-determinism and effectivity functions
EE Doberkat, PS Terraf
Journal of Logic and Computation 27 (1), 357-394, 2017
152017
Compact factor congruences imply Boolean factor congruences
DJ Vaggione, PS Terraf
algebra universalis 51 (2), 207-213, 2004
112004
Formalization of forcing in Isabelle/ZF
E Gunther, M Pagano, P Sánchez Terraf
International Joint Conference on Automated Reasoning, 221-235, 2020
72020
First steps towards a formalization of forcing
E Gunther, M Pagano, PS Terraf
Electronic Notes in Theoretical Computer Science 344, 119-136, 2019
72019
A theory for the semantics of stochastic and non-deterministic continuous systems
CE Budde, PR D’Argenio, P Sánchez Terraf, N Wolovick
International Autumn School on Rigorous Dependability Analysis Using Model …, 2012
72012
Existentially definable factor congruences
PS Terraf
Acta Scientiarum Mathematicarum 76, 49-53, 2010
72010
Semipullbacks of labelled Markov processes
J Pachl, PS Terraf
Logical methods in computer science 17, 2021
62021
Every minimal dual discriminator variety is minimal as a quasivariety
X Caicedo, M Campercholi, KA Kearnes, PS Terraf, A Szendrei, ...
Algebra universalis 82 (2), 36, 2021
52021
Bisimilarity is not Borel
PS Terraf
Mathematical Structures in Computer Science 27 (7), 1265-1284, 2017
52017
Factor congruences in semilattices
PS Terraf
arXiv preprint arXiv:0809.3822, 2008
52008
The independence of the continuum hypothesis in isabelle/zf
E Gunther, M Pagano, PS Terraf, M Steinberg
Archive of Formal Proofs, 2022
42022
Boolean Factor Congruences and Property
P Sanchez Terraf
International Journal of Algebra and Computation 21 (06), 931-950, 2011
42011
Mechanization of separation in generic extensions
E Gunther, M Pagano, PS Terraf
arXiv preprint arXiv:1901.03313, 2019
32019
Transitive models of fragments of ZFC
E Gunther, M Pagano, PS Terraf, M Steinberg
Archive of Formal Proofs, 2022
22022
The Zhou Ordinal of Labelled Markov Processes over Separable Spaces
MS Moroni, PS Terraf
The Review of Symbolic Logic 16 (4), 1011-1032, 2023
12023
Cofinality and the Delta System Lemma
PS Terraf
Archive of Formal Proofs https://isa-afp. org/entries/Delta_System_Lemma. html, 2020
12020
The system can't perform the operation now. Try again later.
Articles 1–20