scientific article; zbMATH DE number 549976
From MaRDI portal
Publication:4287495
zbMath0789.68089MaRDI QIDQ4287495
Publication date: 12 April 1994
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
denotational semanticslogic program with negationleast fixpoint semanticsthree-valued Herbrand interpretations
Related Items (1)
This page was built for publication: