Revisiting the Correspondence Between Cut Elimination and Normalisation

AuthID
 P-012-YYF
1
Author(s)
3
Editor(s)
Montanari,U;Rolim,JDP;Welzl,E
Document Type
Proceedings Paper
Year published
2000
Published
in AUTOMATA LANGUAGES AND PROGRAMMING, ISSN: 0302-9743
Volume: 1853, Pages: 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
Marked List
 Add to Marked List
Info
At this moment we don't have any links to full text documens.

footer slogan

Useful Links

Get Help

© 2024 CRACS & Inesc TEC - All Rights Reserved Privacy Policy | Terms of Service