TESIS DOCTORALES - TESEO

  • Título:  CERTIFICATES FOR DECISION PROBLEMS IN TEMPORAL LOGIC USING CONTEXT-BASED TABLEAUX AND SEQUENT CALCULI.
  • Autor:  ABUIN YEPES, ALEX
  • Universidad:  Universidad del País Vasco/Euskal Herriko Unibertsitatea
  • Departamento:  Lenguajes y sistemas informáticos
  • Fecha de Lectura:  03/03/2023
  • Mención Europeo / Mención Internacional: concedido
  • Programa de doctorado:  Programa de Doctorado en Ingeniería Informática por la Universidad del País Vasco/Euskal Herriko Unibertsitatea
  • Dirección: 
    • LUCIO CARRASCO, FRANCISCA (DIRECTOR)
    • Hermo Huguet, Montserrat (DIRECTOR)
    • PARRA MOLINA, JORGE (DIRECTOR)
  • Tribunal: 
    • ESCOBAR ROMÁN, SANTIAGO (PRESIDENTE)
    • ALVEZ GIMENEZ, JAVIER (SECRETARIO)
    • OZAKI RIVERA CASTILLO, ANA (VOCAL)
  • Descriptores: 
    • LOGICA FORMAL
    • INTELIGENCIA ARTIFICIAL
    • DISEÑO DE SISTEMAS DE CALCULO
  • Localización:  REPOSITORIO INSTITUCIONAL E.H.U./U.P.V.
  • Resumen: