scientific article; zbMATH DE number 1498598

MaRDI QIDQ4500930zbMATH OpenFDO

Authors Anthony Karel Seda, Pascal Hitzler

Publication date 25 September 2000

zbMATH Keywords

logic programs

Mathematics Subject Classification ID

Metric spaces, metrizability (54E35) Fixed-point and coincidence theorems (topological aspects) (54H25) Logic programming (68N17) Semantics in the theory of computing (68Q55)

Cited in

(10)

• scientific article; zbMATH DE number 810107 (Why is no real title available?)
• scientific article; zbMATH DE number 41225 (Why is no real title available?)
• Logic, topology, and integration
• Formalising basic topology for computational logic in simple type theory
• Generalized metrics and uniquely determined logic programs.
• Topology, domain theory and theoretical computer science
• Mathematical aspects of logic programming semantics.
• Topological investigations of the operators of the well-founded, and alternating fixed-point semantics of normal logic programs
• Computation by `While' programs on topological partial algebras
• Fixed point theory for complete \(T\)-lattice in logic programming

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