lpeq

MaRDI QIDQ44796swMATHFDO

Official website http://www.tcs.hut.fi/Software/lpeq/

Described by source

• Logic Programming and Nonmonotonic Reasoning

Cited in

(6)

• Inductive equivalence in clausal logic and nonmonotonic logic programming
• Modularity aspects of disjunctive stable models
• scientific article; zbMATH DE number 1931684 (Why is no real title available?)
• GNT
• DLPEQ
• Logic Programming and Nonmonotonic Reasoning

This page was built for software: lpeq