| Hits ?▲ |
Authors |
Title |
Venue |
Year |
Link |
Author keywords |
| 1 | Carsten Schürmann |
Modernizing the Danish democratic process.  |
Commun. ACM  |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Maxime Beauquier, Carsten Schürmann |
A Bigraph Relational Model |
LFMTP |
2011 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders Schack-Nielsen, Carsten Schürmann |
Pattern Unification for the Lambda Calculus with Linear and Affine Types |
LFMTP |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Matthias Schöpfer, Carsten Schürmann, Michael Pardowitz, Helge Ritter |
Using a Piezo-Resistive Tactile Sensor for Detection of Incipient Slippage. |
ISR/ROBOTIK |
2010 |
DBLP BibTeX RDF |
|
| 1 | Anders Schack-Nielsen, Carsten Schürmann |
Curry-Style Explicit Substitutions for the Linear and Affine Lambda Calculus. |
IJCAR |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Taus Brock-Nannestad, Carsten Schürmann |
Focused Natural Deduction. |
LPAR (Yogyakarta) |
2010 |
DBLP DOI BibTeX RDF |
|
| 1 | Adam Poswolsky, Carsten Schürmann |
System Description: Delphin - A Functional Programming Language for Deductive Systems. |
Electr. Notes Theor. Comput. Sci. |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Jeffrey Sarnat, Carsten Schürmann |
Lexicographic Path Induction. |
TLCA |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Florian Rabe, Carsten Schürmann |
A practical module system for LF. |
LFMTP |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Schürmann |
The Twelf Proof Assistant. |
TPHOLs |
2009 |
DBLP DOI BibTeX RDF |
|
| 1 | Brigitte Pientka, Carsten Schürmann |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Andrew McCreight, Carsten Schürmann |
A Meta Linear Logical Framework. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Schürmann |
Preface. |
Electr. Notes Theor. Comput. Sci. |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Anders Schack-Nielsen, Carsten Schürmann |
Celf - A Logical Framework for Deductive and Concurrent Systems (System Description). |
IJCAR |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Benzmüller, Florian Rabe, Carsten Schürmann, Geoff Sutcliffe |
Evaluation of Systems for Higher-order Logic (ESHOL). |
PAAR/ESHOL |
2008 |
DBLP BibTeX RDF |
|
| 1 | Carsten Schürmann, Jeffrey Sarnat |
Structural Logical Relations. |
LICS |
2008 |
DBLP DOI BibTeX RDF |
Twelf, Normalization, Logical Frameworks, Cut-Elimination, Logical Relations |
| 1 | Adam Poswolsky, Carsten Schürmann |
Practical Programming with Higher-Order Encodings and Dependent Types. |
ESOP |
2008 |
DBLP DOI BibTeX RDF |
|
| 1 | Christoph Benzmüller, John Harrison, Carsten Schürmann |
LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL) |
CoRR |
2006 |
DBLP BibTeX RDF |
|
| 1 | Carsten Schürmann, Mark-Oliver Stehr |
An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf. |
LPAR |
2006 |
DBLP DOI BibTeX RDF |
|
| 1 | Aaron Stump, Carsten Schürmann |
Logical Semantics for the Rewriting Calculus. |
Electr. Notes Theor. Comput. Sci. |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Schürmann, Adam Poswolsky, Jeffrey Sarnat |
The [triangle]-Calculus. Functional Programming with Higher-Order Encodings. |
TLCA |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Schürmann |
Meta-Logical Frameworks and Formal Digital Libraries. |
VSTTE |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Schürmann, Jatin Shah |
Identifying Polynomial-Time Recursive Functions. |
CSL |
2005 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Schürmann |
Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework. |
FLOPS |
2004 |
DBLP DOI BibTeX RDF |
|
| 1 | Serge Autexier, Carsten Schürmann |
Disproving False Conjectures. |
LPAR |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Schürmann, Jatin Shah |
Representing reductions of NP-complete problems in logical frameworks: a case study. |
MERLIN |
2003 |
DBLP DOI BibTeX RDF |
linear logic, NP-complete problems, logical frameworks |
| 1 | Carsten Schürmann, Frank Pfenning |
A Coverage Checking Algorithm for LF. |
TPHOLs |
2003 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Schürmann, Serge Autexier |
Towards Proof Planning for Mω+. |
Electr. Notes Theor. Comput. Sci. |
2002 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Schürmann, Joëlle Despeyroux, Frank Pfenning |
Primitive recursion for higher-order abstract syntax. |
Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Schürmann, Dachuan Yu, Zhaozhong Ni |
A Representation of Fomega in LF. |
Electr. Notes Theor. Comput. Sci. |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Schürmann |
A Type-Theoretic Approach to Induction with Higher-Order Encodings. |
LPAR |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Schürmann |
Recursion for Higher-Order Encodings. |
CSL |
2001 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Schürmann |
Tutorial: Meta-logical Frameworks. |
CADE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Schürmann |
Workshop: Automation of Proofs by Mathematical Induction. |
CADE |
2000 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Pfenning, Carsten Schürmann |
System Description: Twelf - A Meta-Logical Framework for Deductive Systems. |
CADE |
1999 |
DBLP DOI BibTeX RDF |
|
| 1 | Frank Pfenning, Carsten Schürmann |
Algorithms for Equality and Unification in the Presence of Notational Definitions. |
Electr. Notes Theor. Comput. Sci. |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Carsten Schürmann, Frank Pfenning |
Automated Theorem Proving in a Simple Meta-Logic for LF. |
CADE |
1998 |
DBLP BibTeX RDF |
|
| 1 | Frank Pfenning, Carsten Schürmann |
Algorithms for Equality and Unification in the Presence of Notational Definitions. |
TYPES |
1998 |
DBLP DOI BibTeX RDF |
|
| 1 | Joëlle Despeyroux, Frank Pfenning, Carsten Schürmann |
Primitive Recursion for Higher-Order Abstract Syntax. |
TLCA |
1997 |
DBLP DOI BibTeX RDF |
|
![[Valid RSS]](Pics/valid-rss.png "Validate my RSS feed")