Sciweavers

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