3994 search results - page 54 / 799 » A Linear Logical Framework |
96
Voted
INFORMATICALT
2006
15 years 13 days ago
2006
In this paper we consider two logics: temporal logic of common knowledge and temporal logic of common belief. These logics involve the discrete time linear temporal logic operators...
91
Voted
IMA
2009
Springer
15 years 7 months ago
2009
Springer
Abstract. In this paper we present a theoretical framework to quantify the information brought by several linear approximations of a blockcipher without putting any restriction on ...
86
Voted
FSS
2008
15 years 15 days ago
2008
In this paper we propose computationally simple, pointwise formulas for extended t-norms and t-conorms on fuzzy truth values. The complex convolutions of the extended operations a...
72
Voted
CORR
2010
Springer
15 years 16 days ago
2010
Springer
In our paper "Uniformity and the Taylor expansion of ordinary lambda-terms" (with Laurent Regnier), we studied a translation of lambda-terms as infinite linear combinati...
103
click to vote
ICALP
1998
Springer
15 years 4 months ago
1998
Springer
The complexity of LTrL, a global linear time temporal logic over traces is investigated. The logic is global because the truth of a formula is evaluated in a global state, also ca...