Sciweavers

10871 search results - page 362 / 2175
» A stable 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