Home
|
Quick Search
|
Advanced Search
|
Bibliography submission
|
Bibliography submission using bibtex
|
Bibliography submission using bibtex file
|
Links
|
Help
|
Internal
Details:
Title
Towards a clausal analysis of cut-elimination
Author(s)
Matthias Baaz
,
Alexander Leitsch
Type
Article in Journal
Keywords
Cut-elimination, Clause terms
ISSN
0747-7171
URL
http://www.sciencedirect.com/science/article/pii/S074771710500146X
Language
English
Journal
Journal of Symbolic Computation
Volume
41
Number
3–4
Pages
381 - 410
Year
2006
Note
Logic, Mathematics and Computer Science: Interactions in honor of Bruno Buchberger (60th birthday)
Edition
0
Translation
No
Refereed
No
Webmaster