scientific article; zbMATH DE number 604877

zbMATH Open0805.68080MaRDI QIDQ4299854FDOQ4299854

Authors Anthony Karel Seda

Publication date 15 September 1994

zbMATH Keywords

topologycontinuitysemantics of logic programsfixed point semanticsdefinite logic program

Mathematics Subject Classification ID

Logic programming (68N17) Connections of general topology with other structures, applications (54H99) Semantics in the theory of computing (68Q55)

Recommendations

• scientific article; zbMATH DE number 3936480
• scientific article; zbMATH DE number 559225
• scientific article; zbMATH DE number 810107
• The query topology in logic programming

Cited in

(5)

• scientific article; zbMATH DE number 4131252 (Why is no real title available?)
• scientific article; zbMATH DE number 3936480 (Why is no real title available?)
• On some topological view on the abstract cauchy–kowalewski problem
• Topological investigations of the operators of the well-founded, and alternating fixed-point semantics of normal logic programs
• van Douwen's problems related to the Bohr topology

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