# Logic in Computer Science

### Borhan: A Novel System for Prioritized Default...

Logic in Computer ScienceAlireza Shahbazi

115 views

### MsATL: a Tool for SAT-Based ATL Satisfiability...

Logic in Computer ScienceArtur Niewiadomski

136 views

### Semiring Provenance for Lightweight Descriptio...

Logic in Computer ScienceCamille Bourgaux

104 views

### Connected Components and Disjunctive Existenti...

Logic in Computer ScienceEnrique Matos Alfonso

119 views

### A linear proof language for second-order intui...

Logic in Computer ScienceAlejandro Díaz-Caro

155 views

### A Formalization of Complete Discrete Valuation...

Logic in Computer ScienceMaría Inés de Frutos Fernández

132 views