3333 search results - page 224 / 667 » Abstract Proof Search |
249
click to vote
TPHOL
2009
IEEE
16 years 2 days ago
2009
IEEE
Abstract. We give an overview of Agda, the latest in a series of dependently typed programming languages developed in Gothenburg. Agda is based on Martin-L¨of’s intuitionistic t...
171
click to vote
DFG
2009
Springer
16 years 21 hour ago
2009
Springer
Abstract. We give an overview of important results for non-atomic congestion games in their traditional form along with self-contained and short proofs and then present new results...
257
click to vote
ERSHOV
2009
Springer
16 years 19 hour ago
2009
Springer
Abstract. We present an algorithm for generating all polynomial invariants of Psolvable loops with assignments and nested conditionals. We prove termination of our algorithm. The p...
179
click to vote
TABLEAUX
2009
Springer
15 years 12 months ago
2009
Springer
Abstract. We give an optimal (exptime), sound and complete tableaubased algorithm for deciding satisfiability with respect to a TBox in the logic ALCI using global state caching. ...
128
click to vote
ACISP
2008
Springer
15 years 11 months ago
2008
Springer
Abstract. This paper presents a critical analysis of the AACS drivehost authentication scheme. A few weaknesses are identified which could lead to various attacks on the scheme. I...