689 search results - page 7 / 138 » A Modal-Logic Based Graph Abstraction |
GBRPR
2007
Springer
14 years 4 months ago
2007
Springer
D Images at Multiple Abstraction Levels Rodrigo Moreno∗, Miguel Angel Garcia∗∗ and Domenec Puig∗ (∗)Intelligent Robotics and Computer Vision Group, Rovira i Virgili Unive...
CGO
2007
IEEE
14 years 4 months ago
2007
IEEE
CORR
2007
Springer
13 years 9 months ago
2007
Springer
COLING
2010
13 years 4 months ago
2010
LICS
1994
IEEE
14 years 1 months ago
1994
IEEE
abstract semantics for concurrent graph reduction ALAN JEFFREY This paper presents a fully abstract semantics for a variant of the untyped -calculus with recursive declarations. We...