On negation as instantiation

DOI10.1007/3-540-61735-3_2zbMath1355.68032OpenAlexW1502650250MaRDI QIDQ2956710

Włodzimierz Drabent, Alessandra Di Pierro

Publication date: 19 January 2017

Published in: Algebraic and Logic Programming (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/3-540-61735-3_2

Mathematics Subject Classification ID

Logic programming (68N17)

This page was built for publication: On negation as instantiation