3624 search results - page 31 / 725 » Abstract Algebraic Logic |
137
Voted
IWFM
1998
15 years 5 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...
125
click to vote
APLAS
2009
ACM
15 years 10 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...
155
click to vote
DEON
2010
Springer
15 years 4 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...