Batched Evaluation of Full-Sharing Multithreaded Tabling
| Title | Batched Evaluation of Full-Sharing Multithreaded Tabling |
| Publication Type | Conference Paper |
| Year of Publication | 2015 |
| Authors | Miguel Areias and Ricardo Rocha |
| Conference Name | 4th Symposium on Languages, Applications and Technologies (SLATE 2015) - Revised Selected Papers |
| Month of Publish | December |
| Publisher | Springer - CCIS |
| Conference Location | Madrid, Spain |
| URL | http://slate-conf.org/2015/home |
| DOI | 10.1007/978-3-319-27653-3_11 |