Miguel Areias
Home
Publications
Talks
Teaching
On Extending a Linear Tabling Framework to Support Batched Scheduling
Preview
Download Presentation
PDF file