Sciweavers

31387 search results - page 222 / 6278
» Abstracting abstract machines
Sort
View
ECOOP
2010
Springer
16 years 2 days ago
Concurrent Abstract Predicates
Thomas Dinsdale-Young, Mike Dodds, Philippa Gardne...
KR
2010
Springer
16 years 1 days ago
Abstract Dialectical Frameworks
Gerhard Brewka, Stefan Woltran