Now showing items 1-2 of 2

    • Algoritmos para decidir definibilidad de relaciones en fragmentos de primer orden 

      Ventura, Pablo Gabriel (2016-03)
      En este trabajo desarrollamos algoritmos para decidir definibilidad de relaciones sobre familias finitas de estructuras finitas de primer orden. Presentamos algoritmos para los siguientes tipos de fórmulas: abiertas, ...
    • De PH a IP : un curso en complejidad computacional 

      Made Vollenweider, Ignacio (2019-11)
      En este trabajo estudiamos algunas de las clases más importantes de la teoría de Complejidad Computacional. Nos basamos en el programa que propone el libro Computational Complexity a modern approach, del cual vemos la ...