Sciweavers

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