Publication:2883080
From MaRDI portal
DOI10.4230/LIPIcs.ICLP.2010.84zbMath1237.68205MaRDI QIDQ2883080
Publication date: 11 May 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_fddd.html
68T27: Logic in artificial intelligence
68N17: Logic programming
03F52: Proof-theoretic aspects of linear logic and other substructural logics