Pedro Sánchez Terraf

Universidad Nacional de Córdoba - Córdoba / Argentina

Natural Sciences / Mathematical Sciences

AD Scientific Index ID: 4647153

National University of Córdoba

Registration, Add Profile,
Premium Membership

Print Your Certificate

Pedro Sánchez Terraf's MOST POPULAR ARTICLES

1-) Bisimulations for non-deterministic labelled Markov processesPR D\\\'argenio, PS Terraf, N WolovickMathematical Structures in Computer Science 22 (1), 43-68, 2012362012

2-) Unprovability of the logical characterization of bisimulationPS TerrafInformation and Computation 209 (7), 1048-1056, 2011302011

3-) Nondeterministic labeled Markov processes: Bisimulations and logical characterizationPR D\\\'Argenio, N Wolovick, PS Terraf, P Celayes2009 Sixth International Conference on the Quantitative Evaluation of …, 2009282009

4-) Varieties with definable factor congruencesP Sánchez Terraf, D VaggioneTransactions of the American Mathematical Society 361 (10), 5061-5088, 2009212009

5-) Stochastic non-determinism and effectivity functionsEE Doberkat, PS TerrafJournal of Logic and Computation 27 (1), 357-394, 2017152017

ARTICLES

Add your articles