Home | Quick Search | Advanced Search | Bibliography submission | Bibliography submission using bibtex | Bibliography submission using bibtex file | Links | Help | Internal

Details:

   
TitleTowards a clausal analysis of cut-elimination
Author(s) Matthias Baaz, Alexander Leitsch
TypeArticle in Journal
KeywordsCut-elimination, Clause terms
ISSN0747-7171
URL http://www.sciencedirect.com/science/article/pii/S074771710500146X
LanguageEnglish
JournalJournal of Symbolic Computation
Volume41
Number34
Pages381 - 410
Year2006
NoteLogic, Mathematics and Computer Science: Interactions in honor of Bruno Buchberger (60th birthday)
Edition0
Translation No
Refereed No
Webmaster