Miguel Areias
Home
Publications
Talks
Teaching
On Combining Linear-Based Strategies for Tabled Evaluation of Logic Programs
Preview
Download Presentation
PDF file