2932 search results - page 64 / 587 » Higher order mining |
118
click to vote
APLAS
2010
ACM
15 years 2 days ago
2010
ACM
Abstract. We propose a flexible method for verifying the security of ML programs that use cryptography and recursive data structures. Our main applications are X.509 certificate ch...
101
click to vote
BIRTHDAY
2010
Springer
15 years 2 days ago
2010
Springer
Prominent logics, including quantified multimodal logics, can be elegantly embedded in simple type theory (classical higher-order logic). Furthermore, off-the-shelf reasoning syste...
CONCUR
2010
Springer
15 years 2 days ago
2010
Springer
ECAI
2010
Springer
15 years 1 days ago
2010
Springer
We introduce and study higher-order coalition logic, a multi modal monadic second-order logic with operators [{x}] expressing that the coalition of all agents satisfying (x) can ac...
113
click to vote
APPML
2010
15 years 1 hour ago
2010
In this paper, we apply a fixed point theorem to obtain sufficient conditions for the existence of positive periodic solutions for two classes of higher-order functional differenc...