Browsing Tesis de Doctorado en Matemática by Author "Sánchez Terraf, Pedro Octavio"

Now showing items 1-2 of 2

    • 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 ...