swMATH13894MaRDI QIDQ25805FDOQ25805
Author name not available (Why is that?)
Official website: http://www.dcc.fc.up.pt/~fds/FdsPapers/w2000_TAPD.pdf
Cited In (11)
- Logic Programming
- Logic Programming
- On combining linear-based strategies for tabled evaluation of logic programs
- On applying or-parallelism and tabling to logic programs
- CAT
- OPTYap
- YapOr
- Logic Programming
- Handling Incomplete and Complete Tables in Tabled Logic Programs
- Logic Programming
- Title not available (Why is that?)
This page was built for software: YapTab
