scientific article; zbMATH DE number 559225
From MaRDI portal
Publication:4289283
zbMath0797.68102MaRDI QIDQ4289283
Publication date: 28 April 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Lawson topologycontinuitypartial recursive functionsfixed point semanticsnormal logic programproduct topologiestopologies on spaces of interpretations
This page was built for publication: