Proceedings of the ISR/ROBOTIK 2010, Proceedings for the joint conference of ISR 2010 (41st Internationel Symposium on Robotics) und ROBOTIK 2010 (6th German Conference on Robotics), 7-9 June 2010, Munich, Germany, 2010

2009

Electronic Elections: Trust Through Engineering.

[BibT_eX]

[DOI]

Carsten Schürmann

Proceedings of the First International Workshop on Requirements Engineering for e-Voting Systems, 2009

A practical module system for LF.

[BibT_eX]

[DOI]

Florian Rabe

Carsten Schürmann

Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2009

2008

System Description: Delphin - A Functional Programming Language for Deductive Systems.

[BibT_eX]

[DOI]

Adam Poswolsky

Carsten Schürmann

Proceedings of the International Workshop on Logical Frameworks and Metalanguages: Theory and Practice, 2008

Celf - A Logical Framework for Deductive and Concurrent Systems (System Description).

[BibT_eX]

[DOI]

Anders Schack-Nielsen

Carsten Schürmann

Proceedings of the Automated Reasoning, 4th International Joint Conference, 2008

Evaluation of Systems for Higher-order Logic (ESHOL).

[BibT_eX]

[DOI]

Proceedings of the First International Workshop on Practical Aspects of Automated Reasoning, 2008

2007

Preface.

[BibT_eX]

[DOI]

Brigitte Pientka

Carsten Schürmann

Proceedings of the Second International Workshop on Logical Frameworks and Meta-Languages: Theory and Practice, 2007

2006

LPAR-05 Workshop: Empirically Successfull Automated Reasoning in Higher-Order Logic (ESHOL)

[BibT_eX]

[DOI]

Christoph Benzmüller

John Harrison

Carsten Schürmann

CoRR, 2006

An Executable Formalization of the HOL/Nuprl Connection in the Metalogical Framework Twelf.

[BibT_eX]

[DOI]

Carsten Schürmann

Mark-Oliver Stehr

Proceedings of the Logic for Programming, 2006

2005

Meta-Logical Frameworks and Formal Digital Libraries.

[BibT_eX]

[DOI]

Carsten Schürmann

Proceedings of the Verified Software: Theories, 2005

Identifying Polynomial-Time Recursive Functions.

[BibT_eX]

[DOI]

Carsten Schürmann

Jatin Shah

Proceedings of the Computer Science Logic, 19th International Workshop, 2005

2004

Logical Semantics for the Rewriting Calculus.

[BibT_eX]

[DOI]

Aaron Stump

Carsten Schürmann

Proceedings of the 5th International Workshop on Strategies in Automated Deduction, 2004

Preface.

[BibT_eX]

[DOI]

Carsten Schürmann

Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, 2004

A Meta Linear Logical Framework.

[BibT_eX]

[DOI]

Andrew McCreight

Carsten Schürmann

Proceedings of the Fourth International Workshop on Logical Frameworks and Meta-Languages, 2004

Twelf and Delphin: Logic and Functional Programming in a Meta-logical Framework.

[BibT_eX]

[DOI]

Carsten Schürmann

Proceedings of the Functional and Logic Programming, 7th International Symposium, 2004

2003

A Coverage Checking Algorithm for LF.

[BibT_eX]

[DOI]

Carsten Schürmann

Frank Pfenning

Proceedings of the Theorem Proving in Higher Order Logics, 16th International Conference, 2003

Disproving False Conjectures.

[BibT_eX]

[DOI]

Serge Autexier

Carsten Schürmann

Proceedings of the Logic for Programming, 2003

Representing reductions of NP-complete problems in logical frameworks: a case study.

[BibT_eX]

[DOI]

Carsten Schürmann

Jatin Shah

Proceedings of the Eighth ACM SIGPLAN International Conference on Functional Programming, 2003

2002

Towards Proof Planning for Mω<sup>+</sup>.

[BibT_eX]

[DOI]

Carsten Schürmann

Serge Autexier

Proceedings of the International Workshop on Logical Frameworks and Meta-Languages, 2002

2001

A Representation of Fomega in LF.

[BibT_eX]

[DOI]

Carsten Schürmann

Dachuan Yu

Zhaozhong Ni

Proceedings of the Mechanized Reasoning about Languages with Variable Binding, 2001

Primitive recursion for higher-order abstract syntax.

[BibT_eX]

[DOI]

Carsten Schürmann

Joëlle Despeyroux

Frank Pfenning

Theor. Comput. Sci., 2001

A Type-Theoretic Approach to Induction with Higher-Order Encodings.

[BibT_eX]

[DOI]

Carsten Schürmann

Proceedings of the Logic for Programming, 2001

Recursion for Higher-Order Encodings.

[BibT_eX]

[DOI]

Carsten Schürmann

Proceedings of the Computer Science Logic, 15th International Workshop, 2001

2000

Workshop: Automation of Proofs by Mathematical Induction.

[BibT_eX]

[DOI]

Carsten Schürmann

Proceedings of the Automated Deduction, 2000

Tutorial: Meta-logical Frameworks.

[BibT_eX]

[DOI]

Carsten Schürmann

Proceedings of the Automated Deduction, 2000

1999

System Description: Twelf - A Meta-Logical Framework for Deductive Systems.

[BibT_eX]

[DOI]

Frank Pfenning

Carsten Schürmann

Proceedings of the Automated Deduction, 1999

1998

Algorithms for Equality and Unification in the Presence of Notational Definitions.

[BibT_eX]

[DOI]

Frank Pfenning

Carsten Schürmann

Proceedings of the Workshop on Proof Search in Type-Theoretic Languages (in conjunction with CADE-15 Conference), 1998

Automated Theorem Proving in a Simple Meta-Logic for LF.

[BibT_eX]

[DOI]

Carsten Schürmann

Frank Pfenning

Proceedings of the Automated Deduction, 1998

Carsten Schürmann

Known people with the same name:

Bibliography

Loading...