1805 search results - page 41 / 361 » A Theory of Closure Operators |
153
click to vote
CLIMA
2007
15 years 8 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 ...
168
click to vote
ICALP
2005
Springer
16 years 4 days 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...
180
click to vote
EUROGP
2001
Springer
15 years 11 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...
168
click to vote
TASE
2009
IEEE
16 years 1 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)...