55 search results - page 2 / 11 » birthday 2008 |
IEICET
2008
13 years 4 months ago
2008
AFRICACRYPT
2008
Springer
13 years 11 months ago
2008
Springer
BIRTHDAY
2008
Springer
13 years 6 months ago
2008
Springer
A number of models of computation on trees labeled with symbols from an infinite alphabet is considered. We study closure and decision properties of each of the models and compare ...
BIRTHDAY
2008
Springer
13 years 6 months ago
2008
Springer
Abstract. COWS is a recently defined process calculus for specifying and combining service-oriented applications, while modelling their dynamic behaviour.
BIRTHDAY
2008
Springer
13 years 6 months ago
2008
Springer
We construct a model without precipitous ideals but so that for each < 3 there is a normal ideal over 1 with generic ultrapower wellfounded up to the image of .