481 search results - page 28 / 97 » Executing Higher Order Logic |
131
click to vote
AMAI
2006
Springer
15 years 2 months 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...
146
click to vote
IJFCS
2008
15 years 2 months 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 ...
128
click to vote
SIGIR
2004
ACM
15 years 8 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...
124
click to vote
CSAC
2004
15 years 4 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...
126
click to vote
CSL
2002
Springer
15 years 2 months 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 ...