Sciweavers

7456 search results - page 151 / 1492
» Parallelism in Logic Programming
Sort
View
ICLP
2007
Springer
16 years 16 days ago
Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs
Matti Järvisalo, Emilia Oikarinen