Basque Research and Technology Alliance-ko ikertzaileekin lankidetzan egindako argitalpenak (1)

2020

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

    Leibniz International Proceedings in Informatics, LIPIcs