5084 search results - page 115 / 1017 » Proving Possibility Properties |
164
click to vote
CORR
2007
Springer
15 years 5 months ago
2007
Springer
We prove that the single-player game clobber is solvable in linear time when played on a line or on a cycle. For this purpose, we show that this game is equivalent to an optimizat...
124
click to vote
ISW
2001
Springer
15 years 10 months ago
2001
Springer
We present the adaptation of our model for the validation of key distribution and authentication protocols to address specific needs of protocols for electronic commerce. The two ...
155
click to vote
FLOPS
2006
Springer
15 years 9 months ago
2006
Springer
Abstract. We present a practical tool for defining and proving properties of recursive functions in the Coq proof assistant. The tool generates from pseudo-code the graph of the in...
141
click to vote
FM
2006
Springer
15 years 9 months ago
2006
Springer
Design patterns are usually described in terms of instances. Templates describe sentences of some language with a particular form, generate sentences upon instantiation, and can be...
143
click to vote
ENTCS
2002
15 years 5 months ago
2002
We illustrate the use of intersection types as a semantic tool for proving easiness result on -terms. We single out the notion of simple easiness for -terms as a useful semantic p...