Programs, Proofs, Processes

AuthID
P-002-583
3
Author(s)
Lowe, B
·
Mayordomo, E
Tipo de Documento
Editorial Material
Year published
2012
Publicado
in THEORY OF COMPUTING SYSTEMS, ISSN: 1432-4350
Volume: 51, Número: 3, Páginas: 267-269 (3)
Indexing
Publication Identifiers
Openlibrary: OL35770604M
SCOPUS: 2-s2.0-84862211720
Wos: WOS:000308697300001
Source Identifiers
ISSN: 1432-4350
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.