3552 search results - page 299 / 711 » Proof theory in the abstract |
192
click to vote
DAGSTUHL
2006
15 years 8 months ago
2006
Abstract. The Galois connection involving polymorphisms and coclones has received a lot of attention in regard to constraint satisfaction problems. However, it fails if we are inte...
184
click to vote
JFPLC
2000
15 years 8 months ago
2000
ABSTRACT. This paper focuses on the assignment of meaning to some nonterminating SLD derivations in logic programming. Several approaches have been developped by considering infini...
176
click to vote
CORR
2010
Springer
15 years 6 months ago
2010
Springer
In this paper, we build an interpreter by reusing host language functions instead of recoding mechanisms of function application that are already available in the host language (t...
176
click to vote
CORR
2008
Springer
15 years 6 months ago
2008
Springer
Abstract. Relay attacks are a major concern for RFID systems: during an authentication process an adversary transparently relays messages between a verifier and a remote legitimate...
165
click to vote
COMPUTING
2006
15 years 6 months ago
2006
Abstract We are dealing with the optimal, i.e. densest packings of congruent circles into the unit square. In the recent years we have built a numerically reliable, verified method...