4217 search results - page 14 / 844 » Computational indistinguishability logic |
WILF
2007
Springer
15 years 3 months ago
2007
Springer
65
Voted
TIME
2003
IEEE
15 years 3 months ago
2003
IEEE
104
click to vote
SAC
2011
ACM
14 years 15 days ago
2011
ACM
Higher-Order Logic (HOL) is based on a small logic kernel, whose
119
click to vote
IWFM
2003
14 years 11 months ago
2003
We present a report on work in progress on certain aspects of a programme of research concerned with building formal, mathematical models both for aspects of the computational pro...
72
Voted
CORR
2010
Springer
14 years 9 months ago
2010
Springer
We introduce a generic extension of the popular branching-time logic CTL which refines the temporal until and release operators with formal languages. For instance, a language may ...