481 search results - page 28 / 97 » Executing Higher Order Logic |
107
click to vote
AMAI
2006
Springer
15 years 27 days ago
2006
Springer
This paper proposes a formalization in COQ of common knowledge logic and checks its adequacy on case studies. This exercise allows exploring experimentally the proof-theoretic sid...
122
click to vote
IJFCS
2008
15 years 25 days ago
2008
Abstract. Recently, it has been shown that for any higher order pushdown system H and for any regular set C of configurations, the set pre H(C), is regular. In this paper, we give ...
110
Voted
SIGIR
2004
ACM
15 years 6 months ago
2004
ACM
Abstract. Today, peer-to-peer services can comprise a large and growing number of services, e.g. search services or services dealing with heterogeneous schemas in the context of Di...
107
Voted
CSAC
2004
15 years 2 months ago
2004
CoMex (Coordination Mechanism) is a system to coordinate the execution of tasks accessing coordinable entities. It uses coordination rules to describe the temporal and logical orde...
114
Voted
CSL
2002
Springer
15 years 19 days ago
2002
Springer
In the process of interactive theorem proving one often works with incomplete higher order proofs. In this paper we address the problem of giving a correctness criterion for these ...