scientific article; zbMATH DE number 1114053
From MaRDI portal
Publication:4375822
zbMath0891.68038MaRDI QIDQ4375822
Thomas Eiter, Domenico Saccà, Nicola Leone
Publication date: 2 March 1998
Title: zbMATH Open Web Interface contents unavailable due to conflicting licenses.
Related Items (3)
Disjunctive stable models: Unfounded sets, fixpoint semantics, and computation ⋮ Reasoning with minimal models: efficient algorithms and applications ⋮ Circumscribing DATALOG: expressive power and complexity
This page was built for publication: