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

  1. Abuin, A.
  2. Bolotov, A.
  3. Hermo, M.
  4. Lucio, P.
Actas:
Leibniz International Proceedings in Informatics, LIPIcs

ISSN: 1868-8969

ISBN: 9783959771672

Año de publicación: 2020

Volumen: 178

Tipo: Aportación congreso

DOI: 10.4230/LIPICS.TIME.2020.14 GOOGLE SCHOLAR
Fuente de los datos: Scopus