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