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: parent exact "Leibniz International Proceedings in Informatics (LIPIcs)" Add to list Conference Paper C1 open access Multiverse debugging : non-deterministic debugging for non-deterministic programs Carmen Torres Lopez, Robbert Gurdeep Singh (UGent) , Stefan Marr, Elisa Gonzalez Boix and Christophe Scholliers (UGent) (2019) 33rd European conference on object-oriented programming (ECOOP 2019). In Leibniz International Proceedings in Informatics (LIPIcs) 134. p.27:1-27:30 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.