A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling
| Title | A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling |
| Publication Type | Conference Paper |
| Year of Publication | 2014 |
| Authors | Miguel Areias and Ricardo Rocha |
| Editor | Michael Leuschel and Tom Schrijvers |
| Conference Name | 30th International Conference on Logic Programming (ICLP 2014) - Technical Communications |
| Month of Publish | July |
| Conference Location | Vienna, Austria |
| URL | http://arxiv.org/abs/1405.2850 |