3624 search results - page 401 / 725 » Abstract Algebraic Logic |
165
click to vote
LPAR
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. The mechanisation of proofs for probabilistic systems is particularly challenging due to the verification of real-valued properties that probability entails: experience ...
176
click to vote
MFCS
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. It is a well-known result that the set of reachable stack contents in a pushdown automaton is a regular set of words. We consider the more general case of higher-order pu...
178
click to vote
MKM
2005
Springer
16 years 6 days ago
2005
Springer
Abstract. We present a computational origami construction of Morley’s triangles and automated proof of correctness of the generalized Morley’s theorem in a streamlined process ...
158
click to vote
WCC
2005
Springer
16 years 5 days ago
2005
Springer
Abstract. The Matsumoto-Imai (MI) cryptosystem was the first multivariate public key cryptosystem proposed for practical use. Though MI is now considered insecure due to Patarin...
207
click to vote
ICSOC
2005
Springer
16 years 4 days ago
2005
Springer
Abstract. Choreography and orchestration languages deal with business processes design and specification. Referring to Web Services technology, the most credited proposals are WS-...