Sciweavers

11909 search results - page 391 / 2382
» The Scheme Programming Language
Sort
View
ICALP
2004
Springer
16 years 28 days ago
Hardness of String Similarity Search and Other Indexing Problems
Süleyman Cenk Sahinalp, Andrey Utis
ICLP
2004
Springer
16 years 28 days ago
Termination by Abstraction
Nachum Dershowitz
ICLP
2004
Springer
16 years 28 days ago
Generalised Kernel Sets for Inverse Entailment
Oliver Ray, Krysia Broda, Alessandra Russo