Pedro Sánchez Terraf
Pedro Sánchez Terraf
Verified email at famaf.unc.edu.ar - Homepage
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
342012
Unprovability of the logical characterization of bisimulation
PS Terraf
Information and Computation 209 (7), 1048-1056, 2011
282011
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
262009
Varieties with definable factor congruences
P Sánchez Terraf, D Vaggione
Transactions of the American Mathematical Society 361 (10), 5061-5088, 2009
182009
Stochastic non-determinism and effectivity functions
EE Doberkat, PS Terraf
Journal of Logic and Computation 27 (1), 357-394, 2017
112017
Compact factor congruences imply Boolean factor congruences
DJ Vaggione, PS Terraf
algebra universalis 51 (2), 207-213, 2004
102004
Existentially definable factor congruences
PS Terraf
arXiv preprint arXiv:0906.4722, 2009
62009
First steps towards a formalization of forcing
E Gunther, M Pagano, PS Terraf
Electronic Notes in Theoretical Computer Science 344, 119-136, 2019
52019
Bisimilarity is not Borel
PS Terraf
Mathematical Structures in Computer Science 27 (7), 1265-1284, 2017
52017
Boolean Factor Congruences and Property
PS Terraf
arXiv preprint arXiv:0809.3815, 2008
42008
Formalization of Forcing in Isabelle/ZF
E Gunther, M Pagano, PS Terraf
International Joint Conference on Automated Reasoning, 221-235, 2020
32020
A theory for the semantics of stochastic and non-deterministic continuous systems
CE Budde, PR D’Argenio, PS Terraf, N Wolovick
International Autumn School on Rigorous Dependability Analysis Using Model …, 2012
32012
Factor congruences in semilattices
PS Terraf
arXiv preprint arXiv:0809.3822, 2008
32008
Mechanization of separation in generic extensions
E Gunther, M Pagano, PS Terraf
arXiv preprint arXiv:1901.03313, 2019
22019
Semipullbacks of labelled Markov processes
J Pachl, PS Terraf
arXiv preprint arXiv:1706.02801, 2017
12017
Every minimal dual discriminator variety is minimal as a quasivariety
X Caicedo, M Campercholi, KA Kearnes, PS Terraf, Á Szendrei, ...
Algebra universalis 82 (2), 1-11, 2021
2021
Semipullbacks of labelled Markov processes
P Sánchez Terraf, J Pachl
Logical Methods in Computer Science 17, 2021
2021
Cofinality and the Delta System Lemma
PS Terraf
2020
The Zhou Ordinal of Labelled Markov Processes over Separable Spaces
MS Moroni, PS Terraf
arXiv preprint arXiv:2005.03630, 2020
2020
The lattice of congruences of a finite line frame
C Areces, M Campercholi, D Penazzi, P Sánchez Terraf
Journal of Logic and Computation 27 (8), 2653-2688, 2017
2017
The system can't perform the operation now. Try again later.
Articles 1–20