Sciweavers

3238 search results - page 9 / 648
» On the Computational Interpretation of Negation
Sort
View
RTA
2010
Springer
13 years 5 months ago
Polynomial Interpretations over the Reals do not Subsume Polynomial Interpretations over the Integers
Polynomial interpretations are a useful technique for proving termination of term rewrite systems. They come in various flavors: polynomial interpretations with real, rational and...
Friedrich Neurauter, Aart Middeldorp
WOLLIC
2007
Springer
14 years 1 months ago
Computational Interpretations of Classical Linear Logic
We survey several computational interpretations of classical linear logic based on two-player one-move games. The moves of the games are higherorder functionals in the language of ...
Paulo Oliva
GRC
2010
IEEE
13 years 8 months ago
Efficient Mining of Generalized Negative Association Rules
Li-Min Tsai, Shu-Jing Lin, Don-Lin Yang