Browsing Facultad de Matemática, Astronomía, Física y Computación by Author "Sánchez Terraf, Pedro Octavio"
Now showing items 1-5 of 5
-
Bisimulación en procesos de decisión de Markov sobre espacios continuos
Moroni, Martín Santiago (2022-10)Los procesos de Markov etiquetados (LMP) consisten de un espacio medible de estados y un conjunto etiquetado de subprobabilidades que codifican la interacción con el ambiente. Por ello son un marco apropiado para estudiar ... -
Congruencias factor definibles
Sánchez Terraf, Pedro Octavio (2007)Una variedad tiene congruencias Factor Definibles (DFC) si los núcleos de las proyecciones canónicas en productos directos son definibles por una formula de primer orden \Phi cuyos parámetros son elementos centrales. Los ... -
Estudios sobre posets asociativos
Kuperman, Joel (2022)Dado un poset P, es posible definir sobre él una operación binaria que caracterice el orden. El problema de decidir si es posible hacerlo de manera que dicha operación resulte asociativa no es trivial. Un poset asociativo ... -
The lattice of congruences of a finite line frame
Areces, Carlos Eduardo; Campercholi, Miguel Alejandro Carlos; Penazzi, Daniel Eduardo; Sánchez Terraf, Pedro Octavio (2017)Let F = <F, R> be a finite Kripke frame. A congruence of F is a bisimulation of F that is also an equivalence relation on F. The set of all congruences of F is a lattice under the inclusion ordering. In this article we ... -
Monadicidad de procesos probabilistas y no deterministas
Moroni, Martín Santiago (2015-03)En este trabajo se estudian algunas nociones de teoría de categorías, fundamentalmente adjunciones y mónadas, en un intento de entender en sentido categórico construcciones algebráicas como semireticulados o conos reales. ...