|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
| GaboardiMarionRonchi08popl (In proceedings) | |
| Author(s) | Marco Gaboardi, Jean-Yves Marion and Simona Ronchi Della Rocca |
| Title | « A Logical Account of PSPACE » |
| In | 35th ACM SIGPLAN-SIGACT Symposium on Principles of Programming Languages POPL 2008, San Francisco, January 10-12, 2008, Proceedings |
| Page(s) | 121-131 |
| Year | 2008 |
| http://www.di.unito.it/˜gaboardi/papers/GaboardiMarionRonchi08popl.pdf | |
| BibTeX code |
@inproceedings{GaboardiMarionRonchi08popl,
booktitle = {35th {ACM SIGPLAN-SIGACT} Symposium on Principles of Programming
Languages {POPL 2008}, San Francisco, January 10-12, 2008,
Proceedings},
pdf = {http://www.di.unito.it/~gaboardi/papers/GaboardiMarionRonchi08popl.pdf},
title = {A Logical Account of {PSPACE}},
author = {Gaboardi, Marco and Marion, Jean-Yves and {Ronchi Della Rocca},
Simona},
year = {2008},
pages = {121-131},
}
|
Formal Methods in Computing (Most of the papers antecedent to 1995 are not included in the list) |
|||
| FRAMES NO FRAME | ||||
This document was generated by bib2html 3.3.
(Modified by Luca Paolini, under the GNU General Public License)