scientific article; zbMATH DE number 4199630

zbMATH Open0726.68040MaRDI QIDQ3348419FDOQ3348419

Authors: Krzysztof R. Apt, Howard A. Blair 

Publication date: 1991

Title of this publication is not available (Why is that?)

Recommendations

• scientific article
• Publication:4934250
• Generic models of logic programs
• The expressiveness of locally stratified programs
• Complexity and undecidability results for logic programming

zbMATH Keywords

perfect modelsrecursion-free program

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25) Logic programming (68N17) Hierarchies of computability and definability (03D55) Complexity of computation (including implicit computational complexity) (03D15)

Cited In (4)

• The expressiveness of locally stratified programs
• Index sets for finite normal predicate logic programs with function symbols
• Title not available (Why is that?)
• Layerings of logic programs -- layer decomposable semantics and incremental model computation

This page was built for publication:

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q3348419)