3342 search results - page 133 / 669 » Automating Abstract Interpretation |
CSL
2010
Springer
15 years 9 days ago
2010
Springer
We introduce two-sorted theories in the style of [CN10] for the complexity classes L and DET, whose complete problems include determinants over Z2 and Z, respectively. We then desc...
109
click to vote
DEON
2010
Springer
14 years 11 months ago
2010
Springer
The aim of the present paper is to provide a metalogical systematisation in the area of deontic action logic based on Boolean algebra. Differences among the systems in question lie...
76
Voted
ASP
2003
Springer
15 years 4 months ago
2003
Springer
Abstract. Answer Set Programming (ASP) is a formalism widely used for knowl
LICS
2009
IEEE
15 years 5 months ago
2009
IEEE
Abstract. Ludics is peculiar in the panorama of game semantics: we first have the definition of interaction-composition and then we have semantical types, as a set of strategies ...
CADE
2008
Springer
15 years 11 months ago
2008
Springer
Relation algebras provide abstract equational axioms for the calculus of binary relations. They name an established area of mathematics with various applications in computer scienc...