Home › Publications › Publications by Year

CRACS Publicatons

Export 1 results:
Sort by: Author Title [ Year (Desc)]
Filters: Author is Michael Leuschel  [Clear All Filters]
2014
Miguel Areias and Ricardo Rocha "A Simple and Efficient Lock-Free Hash Trie Design for Concurrent Tabling", in "30th International Conference on Logic Programming (ICLP 2014) - Technical Communications" Michael Leuschel and Tom Schrijvers (eds) , July 2014.