scientific article
From MaRDI portal
Publication:3348419
zbMath0726.68040MaRDI QIDQ3348419
Krzysztof R. Apt, Howard A. Blair
Publication date: 1991
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Analysis of algorithms and problem complexity (68Q25) Complexity of computation (including implicit computational complexity) (03D15) Logic programming (68N17) Hierarchies of computability and definability (03D55)
Related Items (3)
Index Sets for Finite Normal Predicate Logic Programs with Function Symbols ⋮ The expressiveness of locally stratified programs ⋮ Layerings of logic programs -- layer decomposable semantics and incremental model computation
This page was built for publication:
