1650 search results - page 187 / 330 » The HOM problem is decidable |
207
Voted
RTA
2005
Springer
16 years 13 days ago
2005
Springer
Cryptographic protocols are small programs which involve a high level of concurrency and which are difficult to analyze by hand. The most successful methods to verify such protocol...
209
click to vote
AMAI
2004
Springer
16 years 10 days ago
2004
Springer
This paper presents new look-ahead schemes for backtracking search when solving constraint satisfaction problems. The look-ahead schemes compute a heuristic for value ordering and...
196
Voted
AMEC
2004
Springer
16 years 10 days ago
2004
Springer
Abstract. In a combinatorial auction, there are multiple items for sale, and bidders are allowed to place a bid on a bundle of these items rather than just on the individual items....
195
Voted
ICTCS
2003
Springer
16 years 4 days ago
2003
Springer
Abstract. Given two proofs in a logical system with a confluent cutelimination procedure, the cut-elimination problem (CEP) is to decide whether these proofs reduce to the same no...
198
Voted
PODS
2010
ACM
16 years 21 hour ago
2010
ACM
We investigate a higher-order query language that embeds operators of the positive relational algebra within the simply-typed λ-calculus. Our language allows one to succinctly de...