Publicaciones en colaboración con investigadoras/es de Basque Research and Technology Alliance (1)

2020

  1. One-pass context-based tableaux systems for CTL and ECTL

    Leibniz International Proceedings in Informatics, LIPIcs