34 search results - page 2 / 7 » lics 2006 |
LICS
2006
IEEE
13 years 11 months ago
2006
IEEE
LICS
2006
IEEE
13 years 11 months ago
2006
IEEE
LICS
2006
IEEE
13 years 11 months ago
2006
IEEE
U. Berger, [11] significantly simplified Tait’s normalisation proof for bar recursion [27], see
LICS
2006
IEEE
13 years 11 months ago
2006
IEEE
We give an explicit coinduction principle for recursively-defined stochastic processes. The principle applies to any closed property, not just equality, and works even when soluti...
LICS
2007
IEEE
13 years 11 months ago
2007
IEEE
We show that tree-like (Gentzen’s calculus) PK where all cut formulas have depth at most a constant d does not simulate cut-free PK. Generally, we exhibit a family of sequents t...