CAT

MaRDI QIDQ25792swMATHFDO

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

Cited in

(11)

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

This page was built for software: CAT