3319 search results - page 59 / 664 » Subshifts, Languages and Logic |
101
Voted
ESOP
2010
Springer
15 years 10 months ago
2010
Springer
109
Voted
ATAL
2007
Springer
15 years 6 months ago
2007
Springer
Abstract. We introduce Multimodal Logics of Normative Systems as a contribution to the development of a general logical framework for reasoning about normative systems over logics ...
91
Voted
ICTAC
2005
Springer
15 years 6 months ago
2005
Springer
Rewriting logic is a simple computational logic very well suited as a semantic framework within which many different models of computation, systems and languages can be naturally ...
130
Voted
APLAS
2007
ACM
15 years 4 months ago
2007
ACM
We present a resource oriented program logic that is able to reason about concurrent heap-manipulating programs with unbounded numbers of dynamically-allocated locks and threads. T...
IFIP
1994
Springer
15 years 4 months ago
1994
Springer
The paper surveys the work which has been done from 1986-1994 on speci cations of logic programming systems by evolving algebras. 1