According to our database1, Stefan Kahrs
Legend:Book In proceedings Article PhD thesis Other
Non-Omega-Overlapping TRSs are UN.
Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016
Infinitary rewriting: closure operators, equivalences and models.
Acta Inf., 2013
Modularity of Convergence and Strong Convergence in Infinitary Rewriting
Logical Methods in Computer Science, 2010
Infinitary Rewriting: Foundations Revisited.
Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010
Modularity of Convergence in Infinitary Rewriting.
Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009
Infinitary rewriting: meta-theory and convergence.
Acta Inf., 2007
Genetic programming with primitive recursion.
Proceedings of the Genetic and Evolutionary Computation Conference, 2006
Well-Going Programs Can Be Typed.
Proceedings of the Typed Lambda Calculi and Applications, 6th International Conference, 2003
Red-black trees with types.
J. Funct. Program., 2001
Reflections on the Design of a Specification language.
The Definition of Extended ML: A Gentle Introduction.
Theor. Comput. Sci., 1997
Limits of ML-Definability.
Proceedings of the Programming Languages: Implementations, 1996
Confluence of Curried Term-Rewriting Systems.
J. Symb. Comput., 1995
Towards a Domain Theory for Termination Proofs.
Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995
The Variable Containment Problem.
Proceedings of the Higher-Order Algebra, 1995
Interfaces and Extended ML.
Proceedings of the Workshop on Interface Definition Languages, 1994
First-Class Polymorphism for ML.
Proceedings of the Programming Languages and Systems, 1994
The Semantics of Extended ML: A Gentle Introduction.
Proceedings of the Semantics of Specification Languages (SoSL), 1993
PAnndA Standard Types and Predefined Type Schemata.
Proceedings of the Program Development by Specification and Transformation, 1993
Compilation of Combinatory Reduction Systems.
Proceedings of the Higher-Order Algebra, 1993
Unlimp, Uniqueness as a Leitmotiv for Implementation.
Proceedings of the Programming Language Implementation and Logic Programming, 1992
Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992
PhD thesis, 1991