Logic in Computer Science
Borhan: A Novel System for Prioritized Default...
Logic in Computer ScienceAlireza Shahbazi
341 views
MsATL: a Tool for SAT-Based ATL Satisfiability...
Logic in Computer ScienceArtur Niewiadomski
385 views
Semiring Provenance for Lightweight Descriptio...
Logic in Computer ScienceCamille Bourgaux
327 views
Connected Components and Disjunctive Existenti...
Logic in Computer ScienceEnrique Matos Alfonso
342 views
A linear proof language for second-order intui...
Logic in Computer ScienceAlejandro Díaz-Caro
361 views
A Formalization of Complete Discrete Valuation...
Logic in Computer ScienceMaría Inés de Frutos Fernández
357 views