Pedro Sánchez Terraf

CIEM-FaMAFUniversidad Nacional de Córdoba

Some Slides

Set Theory

Universal Algebra

  • Latin American Symposium on Mathematical Logic, on bisimulations of finite linear frames (2014) [PDF].
  • Universal Algebra Seminar at TU-Dresden, on unique factorization of algebras and related themes (2012) [PDF].
  • Dissertation “Congruencias Factor Definibles” (2007) [PDF in Spanish].

Markov Decision Processes. Bisimulation for probabilistic processes.

  • Dagstuhl Seminar, on descriptive definability of bisimilarity (2012) [PDF].
  • Latin American Symposium on Mathematical Logic, on logics characterizing bisimilarity for nondeterministic Markov decision processes (2012) [PDF].
  • UMA Annual Meeting, on the lack of Hennessy-Milner property for LMP (2010) [PDF in Spanish].