scientific article; zbMATH DE number 826299

zbMath0832.68015MaRDI QIDQ4858577

António Porto, Luís Monteiro

Publication date: 17 December 1995

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

moduleunfolding semanticscontext extensioncontextual logic programming

Mathematics Subject Classification ID

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

Related Items (6)

An abstract interpretation framework for optimizing dynamic modular logic languages ⋮ Algebraic methods in the compositional analysis of logic programs ⋮ Institutions for logic programming ⋮ Reasoning about Conditions and Exceptions to Laws in Regulatory Conformance Checking ⋮ Modules and specifications ⋮ Temporal Contextual Logic Programming

This page was built for publication: