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

(11)

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

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)