Revisiting the Correspondence Between Cut Elimination and Normalisation

AuthID
 P-012-YYF
1
Author(s)
3
Editor(es)
Montanari,U;Rolim,JDP;Welzl,E
Tipo de Documento
Proceedings Paper
Year published
2000
Publicado
in AUTOMATA LANGUAGES AND PROGRAMMING, ISSN: 0302-9743
Volume: 1853, Páginas: 600-611 (12)
Indexing
Wos®
Scopus®
Crossref®11
Google Scholar®
Publication Identifiers
SCOPUS: 2-s2.0-84974530584
Wos: WOS:000089738700051
Source Identifiers
ISSN: 0302-9743
Export Publication Metadata
Lista Marked
 Adicionar à lista Marked
Info
At this moment we don't have any links to full text documens.

Um espaço para investigadores e suas Instituições

Links Úteis

Ajuda

© 2025 CRACS & Inesc TEC - All Rights Reserved Política de Privacidade | Terms of Service