Sciweavers

15792 search results - page 80 / 3159
» Computational Abstraction Steps
Sort
View
DSN
2007
IEEE
15 years 3 months ago
Fast Abstracts
Hiroshi Nakamura
BIRTHDAY
2006
Springer
15 years 3 months ago
Completion Is an Instance of Abstract Canonical System Inference
Guillaume Burel, Claude Kirchner
BIRTHDAY
2006
Springer
15 years 3 months ago
Grammar Analysis and Parsing by Abstract Interpretation
Patrick Cousot, Radhia Cousot