Implicit Characterizations of Pspace

AuthID
P-00G-QR2
1
Author(s)
1
Editor(es)
Kahle R.Schroeder-Heister P.Stark R.
Tipo de Documento
Proceedings Paper
Year published
2001
Publicado
in Lecture Notes in Computer Science (including subseries Lecture Notes in Artificial Intelligence and Lecture Notes in Bioinformatics), ISSN: 0302-9743
Volume: 2183, Páginas: 170-190
Conference
International Seminar on Proof Theory in Computer Science, Ptcs 2001, Date: 7 October 2001 through 12 October 2001
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-84944073334
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.