DMCA

Author manuscript, published in "Symposium on Principles of Programming Languages- POPL'08, San Francisco: États-Unis d'Amérique (2008)" A Logical account of PSPACE (2008)

Cached

Download Links

by Marco Gaboardi , Simona Ronchi , Della Rocca