scientific article; zbMATH DE number 1498598
From MaRDI portal
Publication:4500930
zbMATH Open0948.68025MaRDI QIDQ4500930FDOQ4500930
Authors: Anthony Karel Seda, Pascal Hitzler 
Publication date: 25 September 2000
Title of this publication is not available (Why is that?)
Recommendations
Metric spaces, metrizability (54E35) Fixed-point and coincidence theorems (topological aspects) (54H25) Logic programming (68N17) Semantics in the theory of computing (68Q55)
Cited In (9)
- Title not available (Why is that?)
- Title not available (Why is that?)
- Logic, topology, and integration
- Formalising basic topology for computational logic in simple type theory
- Generalized metrics and uniquely determined logic programs.
- Mathematical aspects of logic programming semantics.
- Topology, domain theory and theoretical computer science
- 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
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)
