Advanced Search

Browse by Discipline

Scientific Societies

E-print Alerts

Add E-prints

E-print Network

  Advanced Search  

Automating the Meta Theory of Deductive Systems Carsten Schurmann

Summary: Automating the Meta Theory of Deductive Systems
Carsten Schurmann
October 16, 2000
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