scientific article
From MaRDI portal
Publication:2909154
DOI10.4230/LIPICS.ICLP.2011.151zbMath1245.68077MaRDI QIDQ2909154
Publication date: 29 August 2012
Full work available at URL: http://subs.emis.de/LIPIcs/frontdoor_ee56.html
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
sortingorderimplementationlogic programmingdeductive databasesbottom-up evaluationdeclarative output
This page was built for publication: