Sciweavers

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