scientific article; zbMATH DE number 1123619
From MaRDI portal
Publication:4379675
zbMath0891.68055MaRDI QIDQ4379675
Publication date: 13 July 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
disjunctive logic programsgeneralized closed world assumptionweak generalized closed world assumption
Formal languages and automata (68Q45) Semantics in the theory of computing (68Q55) Logic programming (68N17)
This page was built for publication:
