Login / Signup

On Extending a Linear Tabling Framework to Support Batched Scheduling.

Miguel AreiasRicardo Rocha
Published in: SLATE (2012)
Keyphrases