Stefan Kahrs

According to our database1, Stefan Kahrs
  • authored at least 23 papers between 1991 and 2016.
  • has a "Dijkstra number"2 of four.

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

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


  Loading...