Sciweavers

10622 search results - page 348 / 2125
» Python Programming Language
Sort
View
ICLP
2004
Springer
16 years 3 days ago
Termination by Abstraction
Nachum Dershowitz
ICLP
2004
Springer
16 years 3 days ago
Generalised Kernel Sets for Inverse Entailment
Oliver Ray, Krysia Broda, Alessandra Russo
ICLP
2004
Springer
16 years 3 days ago
Fast Query Evaluation with (Lazy) Control Flow Compilation
Remko Tronçon, Gerda Janssens, Henk Vandeca...