34 search results - page 2 / 7 » lics 2006 |
LICS
2006
IEEE
14 years 4 months ago
2006
IEEE
LICS
2006
IEEE
14 years 4 months ago
2006
IEEE
LICS
2006
IEEE
14 years 4 months ago
2006
IEEE
U. Berger, [11] significantly simplified Tait’s normalisation proof for bar recursion [27], see
LICS
2006
IEEE
14 years 4 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
14 years 5 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...