×

zbMATH — the first resource for mathematics

Sánchez Terraf, Pedro

Compute Distance To:
Author ID: sanchez-terraf.pedro Recent zbMATH articles by "Sánchez Terraf, Pedro"
Published as: Sánchez Terraf, P.; Sánchez Terraf, Pedro; Terraf, Pedro Sánchez
External Links: MGP
Documents Indexed: 14 Publications since 2004
Reviewing Activity: 11 Reviews

Publications by Year

Citations contained in zbMATH Open

7 Publications have been cited 31 times in 23 Documents Cited by Year
Bisimulations for non-deterministic labelled Markov processes. Zbl 1234.68316
D’Argenio, Pedro R.; Sánchez Terraf, Pedro; Wolovick, Nicolás
9
2012
Unprovability of the logical characterization of bisimulation. Zbl 1216.68196
Sánchez Terraf, Pedro
9
2011
Varieties with definable factor congruences. Zbl 1223.08001
Sánchez Terraf, Pedro; Vaggione, Diego J.
7
2009
Existentially definable factor congruences. Zbl 1274.08028
Sánchez Terraf, Pedro
3
2010
Stochastic non-determinism and effectivity functions. Zbl 1407.68333
Doberkat, Ernst-Erich; Sánchez Terraf, Pedro
1
2017
Bisimilarity is not Borel. Zbl 1377.68150
Sánchez Terraf, Pedro
1
2015
Compact factor congruences imply Boolean factor congruences. Zbl 1087.08001
Vaggione, Diego J.; Sánchez Terraf, Pedro
1
2004
Stochastic non-determinism and effectivity functions. Zbl 1407.68333
Doberkat, Ernst-Erich; Sánchez Terraf, Pedro
1
2017
Bisimilarity is not Borel. Zbl 1377.68150
Sánchez Terraf, Pedro
1
2015
Bisimulations for non-deterministic labelled Markov processes. Zbl 1234.68316
D’Argenio, Pedro R.; Sánchez Terraf, Pedro; Wolovick, Nicolás
9
2012
Unprovability of the logical characterization of bisimulation. Zbl 1216.68196
Sánchez Terraf, Pedro
9
2011
Existentially definable factor congruences. Zbl 1274.08028
Sánchez Terraf, Pedro
3
2010
Varieties with definable factor congruences. Zbl 1223.08001
Sánchez Terraf, Pedro; Vaggione, Diego J.
7
2009
Compact factor congruences imply Boolean factor congruences. Zbl 1087.08001
Vaggione, Diego J.; Sánchez Terraf, Pedro
1
2004

Citations by Year