scientific article
From MaRDI portal
Publication:3725521
zbMath0594.68011MaRDI QIDQ3725521
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (19)
One-sided recursions ⋮ Deciding the Bisimilarity Relation between Datalog Goals ⋮ Generalized subsumption and its applications to induction and redundancy ⋮ An integrated framework for the diagnosis and correction of rule-based programs ⋮ Protected completions of first-order general logic programs ⋮ Preservation of stronger equivalence in unfold/fold logic program transformation ⋮ Unfold/fold transformation of stratified programs ⋮ Inductive logic programming ⋮ Fully abstract compositional semantics for an algebra of logic programs ⋮ Logical query optimization by proof-tree transformation ⋮ Equivalence-preserving first-order unfold/fold transformation systems ⋮ A transformation system for deductive database modules with perfect model semantics ⋮ Abstraction for non-ground answer set programs ⋮ A semantics for modular general logic programs ⋮ Transforming constraint logic programs ⋮ Abstract interpretation of resolution-based semantics ⋮ The reduced relative power operation on abstract domains ⋮ Program development schemata as derived rules ⋮ A compositional semantics for logic programs
This page was built for publication:
