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