scientific article

zbMath0983.68520MaRDI QIDQ2767095

Miroslaw Truszczynski, Zbigniew Lonc

Publication date: 28 April 2002

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

Mathematics Subject Classification ID

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

Related Items (2)

SAT(ID): Satisfiability of Propositional Logic Extended with Inductive Definitions ⋮ A Logic Framework for P2P Deductive Databases

This page was built for publication: