Carsten E. Schurmann, Ph.D.
Affiliations: | 2000 | Carnegie Mellon University, Pittsburgh, PA |
Area:
Computer Science, RoboticsGoogle:
"Carsten Schurmann"Parents
Sign in to add mentor| Frank Pfenning | grad student | 2000 | Carnegie Mellon | |
| (Automating the meta theory of deductive systems.) | ||||
BETA: Related publications
See more...
Publications
|
You can help our author matching system! If you notice any publications incorrectly attributed to this author, please sign in and mark matches as correct or incorrect. |
| Poswolsky A, Schürmann C. (2009) System Description: Delphin -- A Functional Programming Language for Deductive Systems Electronic Notes in Theoretical Computer Science. 228: 113-120 |
| McCreight A, Schürmann C. (2008) A Meta Linear Logical Framework Electronic Notes in Theoretical Computer Science. 199: 129-147 |
| Stump A, Schürmann C. (2005) Logical Semantics for the Rewriting Calculus Electronic Notes in Theoretical Computer Science. 125: 149-164 |
| Schürmann C, Autexier S. (2002) Towards Proof Planning for M ω+1 1This work was supported in part by the National Science Foundation NSF under grants CCR-0133502 and INT-9909952, and by the German Academic Exchange Service DAAD. Electronic Notes in Theoretical Computer Science. 70: 124-145 |
| Schürmann C, Yu D, Ni Z. (2001) A Representation of Fω in LF Electronic Notes in Theoretical Computer Science. 58: 79-96 |
| Schürmann C, Despeyroux J, Pfenning F. (2001) Primitive recursion for higher-order abstract syntax Theoretical Computer Science. 266: 1-57 |