Sciweavers

10871 search results - page 362 / 2175
» A stable programming language
Sort
View
151
Voted
ICALP
2004
Springer
16 years 25 days ago
Hardness of String Similarity Search and Other Indexing Problems
Süleyman Cenk Sahinalp, Andrey Utis
ICLP
2004
Springer
16 years 25 days ago
Termination by Abstraction
Nachum Dershowitz
184
Voted
ICLP
2004
Springer
16 years 25 days ago
Generalised Kernel Sets for Inverse Entailment
Oliver Ray, Krysia Broda, Alessandra Russo