scientific article; zbMATH DE number 1114054

zbMath0890.68031MaRDI QIDQ4375823

Nicola Leone, Francesco Scarcello, Pasquale Rullo

Publication date: 9 June 1998

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

zbMATH Keywords

disjunctive logic programsstable model semanticshead-cycle free programs

Mathematics Subject Classification ID

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

This page was built for publication: