21 search results - page 3 / 5 » birthday 2000 |
BIRTHDAY
2004
Springer
13 years 10 months ago
2004
Springer
Tilings of the plane by translation show interesting regularity in the disposition of the tiles: in particular, we point out that in the case of a single tile, the obtained con gur...
BIRTHDAY
2000
Springer
13 years 9 months ago
2000
Springer
A number of prioritized variants of Reiter’s default logic have been described in the literature. In this paper, we introduce two natural principles for preference handling and s...
BIRTHDAY
2000
Springer
13 years 9 months ago
2000
Springer
Bistructures are a generalisation of event structures which allow a representation of spaces of functions at higher types in an orderextensional setting. The partial order of caus...
BIRTHDAY
2000
Springer
13 years 9 months ago
2000
Springer
The axiom system ACP of [10] was extended to discrete time in [6]. Here, we proceed to define the silent step in this theory in branching bisimulation semantics [7, 15] rather th...
BIRTHDAY
2010
Springer
13 years 6 months ago
2010
Springer
Chosen-ciphertext security is by now a standard security property for asymmetric encryption. Many generic constructions for building secure cryptosystems from primitives with lower...