3333 search results - page 99 / 667 » Abstract Proof Search |
122
Voted
ICFP
2007
ACM
16 years 3 months ago
2007
ACM
We present a pair of reasoning principles, definition and proof by rigid induction, which can be seen as proper generalizations of lazy-datatype induction to monadic effects other...
110
click to vote
IAT
2007
IEEE
15 years 10 months ago
2007
IEEE
Asynchronous Partial Overlay (APO) is a search algorithm that uses cooperative mediation to solve Distributed Constraint Satisfaction Problems (DisCSPs). The algorithm partitions ...
119
Voted
JAR
2000
15 years 3 months ago
2000
A lot of methods have been proposed -- and sometimes implemented -- for proof search in the propositional modal logics K, KT, and S4. It is difficult to compare the usefulness of ...
118
Voted
ICFP
2001
ACM
16 years 3 months ago
2001
ACM
This paper presents a new implementation technique for priority search queues. This abstract data type is an amazing blend of finite maps and priority queues. Our implementation s...
121
Voted
DMTCS
2002
15 years 3 months ago
2002
Abstract. q