Show 10 5 10 15 20 50 100 250 Sort by year (new to old) Actions Save this search Download search results Subscribe to news feed Your filters: cql: author="Diéguez, Martín" or (type any "bookEditor issueEditor" and editor="Diéguez, Martín") Add to list Conference Paper C1 A decidable intuitionistic temporal logic Joseph Boudou, Martín Diéguez and David Fernández-Duque (UGent) (2017) Leibniz International Proceedings in Informatics (LIPIcs). 82.