6355 search results - page 343 / 1271 » From Logic to Games |
216
click to vote
FOSSACS
2007
Springer
16 years 29 days ago
2007
Springer
Abstract. We introduce an extension of Hoare logic for call-by-value higherorder functions with ML-like local reference generation. Local references may be generated dynamically an...
168
click to vote
JSAI
2007
Springer
16 years 28 days ago
2007
Springer
This paper reports our ongoing research effort to develop a system which translates legal texts into logical forms in which we can check for inconsistency. Our logical formalizati...
177
click to vote
DATE
2005
IEEE
16 years 13 days ago
2005
IEEE
In nanometer scaled CMOS devices significant increase in the subthreshold, the gate and the reverse biased junction band-toband-tunneling (BTBT) leakage, results in the large incr...
178
click to vote
BIRTHDAY
2005
Springer
16 years 10 days ago
2005
Springer
Abstract. The vision of a Semantic Web has recently drawn considerable attention, both from academia and industry. Description logics are often named as one of the tools that can s...
171
click to vote
ICALP
2005
Springer
16 years 9 days ago
2005
Springer
Abstract. We describe a cryptographically sound formal logic for proving protocol security properties without explicitly reasoning about probability, asymptotic complexity, or the ...