Alert button

Interpolable Formulas in Equilibrium Logic and Answer Set Programming

Jan 16, 2014
Dov Gabbay, David Pearce, Agustín Valverde

Share this with someone who'll enjoy it:

View paper onarxiv icon

Share this with someone who'll enjoy it: