lpeq

swMATH33087MaRDI QIDQ44796FDOQ44796

Author name not available (Why is that?)

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
• Title not available (Why is that?)
• Logic Programming and Nonmonotonic Reasoning
• GNT
• DLPEQ

This page was built for software: lpeq