DMCA

A logical account of PSPACE

Cached

Download Links

by Marco Gaboardi , Simona Ronchi , Della Rocca
Venue:In 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages POPL 2008
Citations:13 - 3 self