A Transformational Semantics of Static Embedded Implications of Normal Logic Programs

DOI10.1007/11680093_9zbMath1156.68329OpenAlexW1552969790MaRDI QIDQ5302884

Elvira Pino, Edelmira Pasarella, Fernando Orejas, Marisa Navarro

Publication date: 15 January 2009

Published in: Logic Based Program Synthesis and Transformation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1007/11680093_9

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items

Semantics of structured normal logic programs ⋮ Translating propositional extended conjunctions of Horn clauses into Boolean circuits

This page was built for publication: A Transformational Semantics of Static Embedded Implications of Normal Logic Programs