scientific article; zbMATH DE number 1498598

zbMath0948.68025MaRDI QIDQ4500930

Pascal Hitzler, Anthony Karel Seda

Publication date: 25 September 2000

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

zbMATH Keywords

logic programs

Mathematics Subject Classification ID

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

Related Items (2)

Generalized metrics and uniquely determined logic programs. ⋮ Unnamed Item

This page was built for publication: