Miguel Areias
Home
Publications
Talks
Teaching
On the Correctness and Efficiency of Lock-Free Expandable Tries for Tabled Logic Programs
Preview
Download Presentation
PDF file