Sciweavers

17298 search results - page 104 / 3460
» Abstract computing machines
Sort
View
BIRTHDAY
2006
Springer
15 years 10 months ago
Completion Is an Instance of Abstract Canonical System Inference
Guillaume Burel, Claude Kirchner
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
GD
2000
Springer
15 years 10 months ago
FADE: Graph Drawing, Clustering, and Visual Abstraction
Aaron J. Quigley, Peter Eades