Sciweavers

10575 search results - page 243 / 2115
» Programming Languages
Sort
View
ICLP
2007
Springer
16 years 14 days ago
Extended ASP Tableaux and Rule Redundancy in Normal Logic Programs
Matti Järvisalo, Emilia Oikarinen