☰

Carsten E. Schurmann, Ph.D. - Publications

Affiliations: 
2000 Carnegie Mellon University, Pittsburgh, PA 
Area:
Computer Science, Robotics
Tree Info Similar researchers PubMed Report error

6 high-probability publications. We are testing a new system for linking publications to authors. You can help! If you notice any inaccuracies, please sign in and mark papers as correct or incorrect matches. If you identify any major omissions or other inaccuracies in the publication list, please let us know.

Year Citation  Score
2009 Poswolsky A, Schürmann C. System Description: Delphin -- A Functional Programming Language for Deductive Systems Electronic Notes in Theoretical Computer Science. 228: 113-120. DOI: 10.1016/J.Entcs.2008.12.120  0.439
2008 McCreight A, Schürmann C. A Meta Linear Logical Framework Electronic Notes in Theoretical Computer Science. 199: 129-147. DOI: 10.1016/J.Entcs.2007.11.016  0.439
2005 Stump A, Schürmann C. Logical Semantics for the Rewriting Calculus Electronic Notes in Theoretical Computer Science. 125: 149-164. DOI: 10.1016/J.Entcs.2005.01.001  0.489
2002 Schürmann C, Autexier S. 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. DOI: 10.1016/S1571-0661(04)80510-3  0.344
2001 Schürmann C, Yu D, Ni Z. A Representation of Fω in LF Electronic Notes in Theoretical Computer Science. 58: 79-96. DOI: 10.1016/S1571-0661(04)00280-4  0.44
2001 Schürmann C, Despeyroux J, Pfenning F. Primitive recursion for higher-order abstract syntax Theoretical Computer Science. 266: 1-57. DOI: 10.1016/S0304-3975(00)00418-7  0.372
Show low-probability matches.