1805 search results - page 41 / 361 » A Theory of Closure Operators |
117
click to vote
CLIMA
2007
15 years 5 months ago
2007
The proof theory of multi-agent epistemic logic extended with operators for distributed knowledge is studied. Distributed knowledge of A within a group G means that A follows from ...
120
click to vote
ICALP
2005
Springer
15 years 9 months ago
2005
Springer
Abstract. Most of the decision procedures for symbolic analysis of protocols are limited to a fixed set of algebraic operators associated with a fixed intruder theory. Examples o...
141
Voted
EUROGP
2001
Springer
15 years 8 months ago
2001
Springer
Abstract. In this paper a new, general and exact schema theory for genetic programming is presented. The theory includes a microscopic schema theorem applicable to crossover operat...
AML
2005
15 years 4 months ago
2005
In this article we show how to use the result in J
129
click to vote
TASE
2009
IEEE
15 years 10 months ago
2009
IEEE
We explore the interactions between programvariable state visibility and communication behaviour in state-rich CSP-like processes, using the Unifying Theories of Programming (UTP)...