Table space designs for implicit and explicit concurrent tabled evaluation.
Saved in:
| Title: | Table space designs for implicit and explicit concurrent tabled evaluation. |
|---|---|
| Authors: | AREIAS, MIGUEL1 miguel-areias@dcc.fc.up.pt, ROCHA, RICARDO1 |
| Source: | Theory & Practice of Logic Programming. Sep2018, Vol. 18 Issue 5/6, p950-992. 43p. |
| Database: | Mathematics Source |
| ISSN: | 14710684 |
|---|---|
| DOI: | 10.1017/S147106841800039X |