Picture for Agustín Valverde

Agustín Valverde

Interpolable Formulas in Equilibrium Logic and Answer Set Programming

Add code
Jan 16, 2014
Viaarxiv icon