Yet another characterization of strong equivalence

DOI10.4230/LIPICS.ICLP.2011.11MaRDI QIDQ2909135zbMATH OpenOpenAlexFDO

Authors Alexander Bochman, Vladimir Lifschitz

Publication date 29 August 2012

Full work available at URL http://subs.emis.de/LIPIcs/frontdoor_c889.html

zbMATH Keywords

logic programstrong equivalence

Mathematics Subject Classification ID

Logic programming (68N17)

Cited in

(1)

• On Heuer's procedure for verifying strong equivalence

This page was built for publication: Yet another characterization of strong equivalence

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q2909135)