Complementing logic program semantics

DOI10.1007/3-540-61735-3_16zbMath1355.68037OpenAlexW1599804724MaRDI QIDQ2956725

Roberto Giacobazzi, Francesco Ranzato

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_16

Mathematics Subject Classification ID

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

Related Items (4)

The powerset operator on abstract interpretations ⋮ Transforming semantics by abstract interpretation ⋮ Uniform closures: Order-theoretically reconstructing logic program semantics and abstract domain refinements ⋮ Abstract interpretation of resolution-based semantics

This page was built for publication: Complementing logic program semantics