Stefan Kahrs
According to our database1, Stefan Kahrs
Timeline
Legend:
Book In proceedings Article PhD thesis OtherLinks
Homepage:
On csauthors.net:
Bibliography
2016
Non-Omega-Overlapping TRSs are UN.
Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016
2013
Infinitary rewriting: closure operators, equivalences and models.
Acta Inf., 2013
2010
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
2009
Modularity of Convergence in Infinitary Rewriting.
Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009
2007
Infinitary rewriting: meta-theory and convergence.
Acta Inf., 2007
2006
Genetic programming with primitive recursion.
Proceedings of the Genetic and Evolutionary Computation Conference, 2006
2003
Well-Going Programs Can Be Typed.
Proceedings of the Typed Lambda Calculi and Applications, 6th International Conference, 2003
2001
Red-black trees with types.
J. Funct. Program., 2001
1998
Reflections on the Design of a Specification language.
FASE, 1998
1997
The Definition of Extended ML: A Gentle Introduction.
Theor. Comput. Sci., 1997
1996
Limits of ML-Definability.
Proceedings of the Programming Languages: Implementations, 1996
1995
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
1994
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
1993
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
1992
Unlimp, Uniqueness as a Leitmotiv for Implementation.
Proceedings of the Programming Language Implementation and Logic Programming, 1992
Context Rewriting.
Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992
1991
λ-rewriting.
PhD thesis, 1991