Skip to Main Content
Frequently Asked Questions
Submit an ETD
Global Search Box
Need Help?
Keyword Search
Participating Institutions
Advanced Search
School Logo
Files
File List
9401304.pdf (6.49 MB)
ETD Abstract Container
Abstract Header
Upper and lower bounds for the cut elimination theorem /
Author Info
Leou, Ying-Tyug
Permalink:
http://rave.ohiolink.edu/etdc/view?acc_num=osu1487846354484059
Abstract Details
Year and Degree
1993, Doctor of Philosophy, Ohio State University, Graduate School.
Abstract
Committee
Not Provided (Other)
Subject Headings
Mathematics
Recommended Citations
Refworks
EndNote
RIS
Mendeley
Citations
Leou, Y.-T. (1993).
Upper and lower bounds for the cut elimination theorem /
[Doctoral dissertation, Ohio State University]. OhioLINK Electronic Theses and Dissertations Center. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487846354484059
APA Style (7th edition)
Leou, Ying-Tyug.
Upper and lower bounds for the cut elimination theorem /.
1993. Ohio State University, Doctoral dissertation.
OhioLINK Electronic Theses and Dissertations Center
, http://rave.ohiolink.edu/etdc/view?acc_num=osu1487846354484059.
MLA Style (8th edition)
Leou, Ying-Tyug. "Upper and lower bounds for the cut elimination theorem /." Doctoral dissertation, Ohio State University, 1993. http://rave.ohiolink.edu/etdc/view?acc_num=osu1487846354484059
Chicago Manual of Style (17th edition)
Abstract Footer
Document number:
osu1487846354484059
Download Count:
174
Copyright Info
This document is provided by The Ohio State University for research and educational purposes, and may be under copyright by the author or the author's heirs. Please contact the ETD Center administrator at The Ohio State University
gsetd@gradsch.ohio-state.edu
with any questions or comments. In your email, be sure to include the URL and title of the specific items you are inquiring about.
This open access ETD is published by The Ohio State University and OhioLINK.