# Stefan Kahrs

According to our database

^{1}, Stefan Kahrs## Timeline

#### Legend:

Book In proceedings Article PhD thesis Other## Links

#### 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

PA

^{nn}dA 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