Sciweavers

3238 search results - page 30 / 648
» On the Computational Interpretation of Negation
Sort
View
BIRTHDAY
2006
Springer
14 years 1 months ago
Grammar Analysis and Parsing by Abstract Interpretation
Patrick Cousot, Radhia Cousot
BIRTHDAY
2003
Springer
14 years 1 months ago
Verification by Abstract Interpretation
Patrick Cousot