Structural Proof Theory as Rewriting

AuthID
 P-004-QTZ
3
Author(s)
1
Editor(s)
Pfenning, F
Document Type
Article
Year published
2006
Published
in TERM REWRITING AND APPLICATIONS, PROCEEDINGS in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743
Volume: 4098, Pages: 197-211 (15)
Conference
17Th International Conference on Rewriting Techniques and Applications, Date: AUG 12-14, 2006, Location: Seattle, WA, Sponsors: Cadence, IBM, Microsoft Res
Indexing
Wos®
Scopus®
Publication Identifiers
Scopus: 2-s2.0-33749406939
Wos: WOS:000240072100015
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

Useful Links

Get Help

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