Sciweavers

31387 search results - page 348 / 6278
» Abstracting abstract machines
Sort
View
AAMAS
2002
Springer
15 years 7 months ago
TTree: Tree-Based State Generalization with Temporally Abstract Actions
William T. B. Uther, Manuela M. Veloso
LOGCOM
2007
91views more  LOGCOM 2007»
15 years 7 months ago
Generalized Strong Preservation by Abstract Interpretation
Francesco Ranzato, Francesco Tapparo
133
Voted
AML
2004
42views more  AML 2004»
15 years 7 months ago
Definability and automorphisms in abstract logics
Xavier Caicedo