scientific article
From MaRDI portal
Publication:3786036
zbMath0643.68163MaRDI QIDQ3786036
Publication date: 1986
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lua error in Module:PublicationMSCList at line 37: attempt to index local 'msc_result' (a nil value).
Related Items (10)
One-sided recursions ⋮ A graph-based decomposition approach for recursive query processing ⋮ A counting algorithm for a cyclic binary query ⋮ Argument reduction by factoring ⋮ Efficient bottom-up execution of logic programs using abstract interpretation ⋮ Characterization and processing of simple prefixed-chain recursion ⋮ A transformation system for deductive database modules with perfect model semantics ⋮ Recursive query processing: The power of logic ⋮ A relational approach to logic programming: The extended Alexander method ⋮ Well-founded semantics and stratification for ordered logic programs
This page was built for publication: