3624 search results - page 31 / 725 » Abstract Algebraic Logic |
119
click to vote
IWFM
1998
15 years 3 months ago
1998
It is widely recognized that there is a body of mathematics which is crucial to the underpinning of computer science, software engineering, and information and communications tech...
106
click to vote
APLAS
2009
ACM
15 years 8 months ago
2009
ACM
Separation Algebras serve as models of Separation Logics; Share Accounting allows reasoning about concurrent-read/exclusive-write resources in Separation Logic. In designing a Conc...
136
click to vote
DEON
2010
Springer
15 years 2 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...