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