CAT

MaRDI QIDQ25792swMATHFDO

Official website http://rd.springer.com/chapter/10.1007/BFb0056605

Cited in

(11)

• TCHR
• XSB
• YapOr
• OPTYap
• YapTab
• scientific article; zbMATH DE number 1950447 (Why is no real title available?)
• Tabling as a library with delimited control
• On applying or-parallelism and tabling to logic programs
• scientific article; zbMATH DE number 2085268 (Why is no real title available?)
• scientific article; zbMATH DE number 1405459 (Why is no real title available?)
• Evaluation of the implementation of an abstract interpretation algorithm using tabled CLP*

This page was built for software: CAT