2585 search results - page 8 / 517 » Automating Coherent Logic |
TCS
2011
13 years 2 months ago
2011
We introduce the Danos-Régnier category
CAV
2000
Springer
13 years 11 months ago
2000
Springer
Address: Abstraction, Composition, Symmetry, and a Little Deduction: The Remedies to State Explosion . . . . . . . . . . . . . . . . . . . . . . . . . . 1 A. Pnueli Invited Address...
CORR
2010
Springer
13 years 7 months 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...
EUSFLAT
2007
13 years 8 months ago
2007
In this work we propose a general approach for representing uncertainty measures in the framework of t-norm based logics. This approach is extended also to classes of measures lik...
DLOG
2006
13 years 8 months ago
2006
