scientific article; zbMATH DE number 732053

zbMATH Open0836.68014MaRDI QIDQ4325363

A. A. Usmanov, V. N. Zhelyabin

Publication date: 11 April 1996

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

zbMATH Keywords

modular logic programmingHorn type logical programs

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

Program schemes, arrays, Lindström quantifiers and zero-one laws

Recommendations

• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Title not available (Why is that?) 👍 👎
• Bounded nondeterminism of logic programs 👍 👎
• Negation by default and unstratifiable logic programs 👍 👎
• General logic-systems and finite consequence operators 👍 👎
• Complexity and undecidability results for logic programming 👍 👎
• On strictly arithmetical completeness in logics of programs 👍 👎
• Recursive programs and denotational semantics in absolute logics of programs 👍 👎

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 Q4325363)