Miguel Areias
Home
Publications
Talks
Teaching
Mixed-Strategies for Linear Tabling in Prolog
Preview
Download Presentation
PDF file