Sciweavers

17298 search results - page 104 / 3460
» Abstract computing machines
Sort
View
BIRTHDAY
2006
Springer
15 years 6 months ago
Completion Is an Instance of Abstract Canonical System Inference
Guillaume Burel, Claude Kirchner
BIRTHDAY
2006
Springer
15 years 6 months ago
Grammar Analysis and Parsing by Abstract Interpretation
Patrick Cousot, Radhia Cousot
BIRTHDAY
2003
Springer
15 years 6 months ago
Verification by Abstract Interpretation
Patrick Cousot
GD
2000
Springer
15 years 6 months ago
FADE: Graph Drawing, Clustering, and Visual Abstraction
Aaron J. Quigley, Peter Eades