Home

About

Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network
FAQHELPSITE MAPCONTACT US


  Advanced Search  

 
Automating the Meta Theory of Deductive Systems Carsten Schurmann
 

Summary: Automating the Meta Theory of Deductive Systems
Carsten Schurmann
October 16, 2000
CMU-CS-00-146
School of Computer Science
Carnegie Mellon University
Pittsburgh, PA 15213
Submitted in partial ful llment of the requirements
for the degree of Doctor of Philosophy
Thesis Committee:
Frank Pfenning, Chair
Robert Harper
Peter Lee
Dana Scott
Natarajan Shankar, SRI International
Copyright c 2000 Carsten Schurmann
This research was sponsored by the Defense Advanced Research Projects Agency CSTO under the title \The
Fox Project: Advanced Languages for Systems Software", DARPA Order No. C533, issued by ESC/ENS under
Contract No. F19628-95-C-0050. This research was also sponsored by the National Science Foundation under
grant CCR-9619584.

  

Source: Andrews, Peter B. - Department of Mathematical Sciences, Carnegie Mellon University

 

Collections: Mathematics