Permutability of Proofs in Intuitionistic Sequent Calculi

AuthID
P-001-54H
2
Author(s)
Dyckhoff, R
·
Tipo de Documento
Article
Year published
1999
Publicado
in THEORETICAL COMPUTER SCIENCE, ISSN: 0304-3975
Volume: 212, Número: 1-2, Páginas: 141-155 (15)
Conference
Gentzen Conference, Date: OCT 03-05, 1996, Location: ROME, ITALY
Indexing
Publication Identifiers
SCOPUS: 2-s2.0-0344563295
Wos: WOS:000078006700006
Source Identifiers
ISSN: 0304-3975
Export Publication Metadata
Info
At this moment we don't have any links to full text documens.