scientific article; zbMATH DE number 810107

zbMath0831.68013MaRDI QIDQ4853319

Anthony Karel Seda

Publication date: 13 February 1996

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

zbMATH Keywords

computational power of programsquery topologies

Mathematics Subject Classification ID

Semantics in the theory of computing (68Q55) Logic programming (68N17)

Related Items (6)

Logic programs and connectionist networks ⋮ Logic programs, iterated function systems, and recurrent radial basis function networks ⋮ Generalized metrics and uniquely determined logic programs. ⋮ Unnamed Item ⋮ On the Coincidence of Semantics for Uniquely Determined Programs ⋮ Some fixed point results in dislocated quasi metric (\(dq\)-metric) spaces

This page was built for publication: