scientific article; zbMATH DE number 1978322

zbMath1027.54505MaRDI QIDQ4424942

Pascal Hitzler, Anthony Karel Seda

Publication date: 1 October 2003

Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.

zbMATH Keywords

fixed pointsmultivalued mappingsKleene theoremKnaster-Tarski theoremsemantics of disjunctive logic programs

Mathematics Subject Classification ID

Fixed-point and coincidence theorems (topological aspects) (54H25) Logic programming (68N17)

Related Items (9)

A characterisation of weightable quasi-metric generating functions ⋮ The quasi-metrizability of hyperspaces ⋮ On aggregation of normed structures ⋮ On quasi-metric aggregation functions and fixed point theorems ⋮ Recursive quasi-metric spaces. ⋮ Aggregation of asymmetric distances in computer science ⋮ The average running time of an algorithm as a midpoint between fuzzy sets ⋮ Unnamed Item ⋮ Generated quasi-metric hyper and function spaces.

This page was built for publication: