×

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, Pedro; Terraf, Pedro Sánchez; Sánchez Terraf, P.
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 29 times in 22 Documents Cited by Year
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
Bisimulations for non-deterministic labelled Markov processes. Zbl 1234.68316
D’Argenio, Pedro R.; Sánchez Terraf, Pedro; Wolovick, Nicolás
7
2012
Existentially definable factor congruences. Zbl 1274.08028
Sánchez Terraf, Pedro
3
2010
Compact factor congruences imply Boolean factor congruences. Zbl 1087.08001
Vaggione, Diego J.; Sánchez Terraf, Pedro
1
2004
Bisimilarity is not Borel. Zbl 1377.68150
Sánchez Terraf, Pedro
1
2015
Stochastic non-determinism and effectivity functions. Zbl 1407.68333
Doberkat, Ernst-Erich; Sánchez Terraf, Pedro
1
2017
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
7
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