3891 search results - page 76 / 779 » A logic for strategic reasoning |
98
Voted
CSL
1999
Springer
15 years 22 days ago
1999
Springer
We explain why the original proofs of P-Time completeness for Light Affine Logic and Light Linear Logic can not work, and we fully develop a working one.
LICS
2002
IEEE
15 years 6 months ago
2002
IEEE
74
Voted
TIME
2002
IEEE
15 years 6 months ago
2002
IEEE
FLOPS
2001
Springer
15 years 5 months ago
2001
Springer
102
Voted
LPAR
2001
Springer
15 years 5 months ago
2001
Springer
