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