scientific article; zbMATH DE number 1508927

zbMath0946.68013MaRDI QIDQ4506391

Maurice Bruynooghe, Henk Vandecasteele, Andre D. de Waal, Marc Denecker

Publication date: 18 September 2000

Full work available at URL: http://danae.uni-muenster.de/lehre/kuchen/JFLP/articles/1999/S99-02/S99-02.html

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

zbMATH Keywords

clausesmodel generators

Mathematics Subject Classification ID

Logic programming (68N17)

Related Items (1)

On the verification of finite failure

Uses Software

• ECCE
• FINDER
• XSB

This page was built for publication: