CAT

swMATH13881MaRDI QIDQ25792FDOQ25792

Author name not available (Why is that?)

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

Cited In (10)

• Title not available (Why is that?)
• On applying or-parallelism and tabling to logic programs
• Evaluation of the implementation of an abstract interpretation algorithm using tabled CLP*
• OPTYap
• XSB
• YapOr
• YapTab
• Tabling as a library with delimited control
• Title not available (Why is that?)
• Title not available (Why is that?)

This page was built for software: CAT