Browsing Trabajos Especiales de Licenciaturas by Author "Fervari, Raúl Alberto"

Now showing items 1-3 of 3

    • Algoritmos de tableaux para Xpath con datos 

      Seiler, Nahuel Germán (2018-03-28)
      En este trabajo se presenta un cálculo correcto y completo para XPath con datos y caminos descendentes, enriquecido con nominales y operadores de satisfacción. Llamaremos HXPath = (↓) al lenguaje híbrido que resulta de ...

    • Cálculo de tableaux para fórmulas elementales en lógicas de separación 

      Saravia, Andrés Román (2020)
      En este trabajo final investigamos métodos computacionales de razonamiento para lenguajes modales dinámicos. Por lenguajes dinámicos nos referimos a formalismos que permitan cambiar la estructura subyacente a medida que ...

    • Verificación de lógicas modales dinámicas en Coq 

      Trucco, Francisco Carlos (2019-03)
      Los lenguajes modales son lenguajes adecuados para describir propiedades de grafos dirigidos con nodos etiquetados. Estas estructuras aparecen en una gran variedad de problemas de diversas áreas del conocimiento. Como ...