< Terug naar vorige pagina
Publicatie
Axiomatic systems and topological semantics for intuitionistic temporal logic
Boekbijdrage - Boekhoofdstuk Conferentiebijdrage
Boek: Logics in Artificial Intelligence, JELIA 2019, Proceedings
Volume: 11468
Pagina's: 763 - 777
ISBN:9783030195700
Jaar van publicatie:2019
Toegankelijkheid:Open