We stand with Ukraine  

Stefan Kahrs

Orcid: 0000-0001-5099-9375

Affiliations:
  • University of Kent, UK


According to our database1, Stefan Kahrs authored at least 24 papers between 1991 and 2022.

Collaborative distances:
  • Dijkstra number2 of four.
  • Erdős number3 of four.

Timeline

Legend:

Book 
In proceedings 
Article 
PhD thesis 
Dataset
Other 

Links

Online presence:

On csauthors.net:

Bibliography

2022
Simplifying regular expressions further.
[BibTeX]
[DOI]
Stefan Kahrs
,
Colin Runciman
J. Symb. Comput., 2022

2016
Non-Omega-Overlapping TRSs are UN.
[BibTeX]
[DOI]
Stefan Kahrs
,
Connor Smith
Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016

2013
Infinitary rewriting: closure operators, equivalences and models.
[BibTeX]
[DOI]
Stefan Kahrs
Acta Informatica, 2013

2010
Modularity of Convergence and Strong Convergence in Infinitary Rewriting
[BibTeX]
[DOI]
Stefan Kahrs
Log. Methods Comput. Sci., 2010

Infinitary Rewriting: Foundations Revisited.
[BibTeX]
[DOI]
Stefan Kahrs
Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010

2009
Modularity of Convergence in Infinitary Rewriting.
[BibTeX]
[DOI]
Stefan Kahrs
Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009

2007
Infinitary rewriting: meta-theory and convergence.
[BibTeX]
[DOI]
Stefan Kahrs
Acta Informatica, 2007

2006
Genetic programming with primitive recursion.
[BibTeX]
[DOI]
Stefan Kahrs
Proceedings of the Genetic and Evolutionary Computation Conference, 2006

2003
Well-Going Programs Can Be Typed.
[BibTeX]
[DOI]
Stefan Kahrs
Proceedings of the Typed Lambda Calculi and Applications, 6th International Conference, 2003

2001
Red-black trees with types.
[BibTeX]
[DOI]
Stefan Kahrs
J. Funct. Program., 2001

1998
Reflections on the Design of a Specification language.
[BibTeX]
[DOI]
Stefan Kahrs
,
Donald Sannella
Proceedings of the Fundamental Approaches to Software Engineering, 1998

1997
The Definition of Extended ML: A Gentle Introduction.
[BibTeX]
[DOI]
Stefan Kahrs
,
Donald Sannella
,
Andrzej Tarlecki
Theor. Comput. Sci., 1997

1996
Limits of ML-Definability.
[BibTeX]
[DOI]
Stefan Kahrs
Proceedings of the Programming Languages: Implementations, 1996

1995
Confluence of Curried Term-Rewriting Systems.
[BibTeX]
[DOI]
Stefan Kahrs
J. Symb. Comput., 1995

Towards a Domain Theory for Termination Proofs.
[BibTeX]
[DOI]
Stefan Kahrs
Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995

The Variable Containment Problem.
[BibTeX]
[DOI]
Stefan Kahrs
Proceedings of the Higher-Order Algebra, 1995

1994
Interfaces and Extended ML.
[BibTeX]
[DOI]
Stefan Kahrs
,
Donald Sannella
,
Andrzej Tarlecki
Proceedings of the Workshop on Interface Definition Languages, 1994

First-Class Polymorphism for ML.
[BibTeX]
[DOI]
Stefan Kahrs
Proceedings of the Programming Languages and Systems, 1994

1993
The Semantics of Extended ML: A Gentle Introduction.
[BibTeX]
[DOI]
Stefan Kahrs
,
Donald Sannella
,
Andrzej Tarlecki
Proceedings of the Semantics of Specification Languages (SoSL), 1993

PA<sup>nn</sup>dA Standard Types and Predefined Type Schemata.
[BibTeX]
[DOI]
Stefan Kahrs
Proceedings of the Program Development by Specification and Transformation, 1993

Compilation of Combinatory Reduction Systems.
[BibTeX]
[DOI]
Stefan Kahrs
Proceedings of the Higher-Order Algebra, 1993

1992
Unlimp, Uniqueness as a Leitmotiv for Implementation.
[BibTeX]
[DOI]
Stefan Kahrs
Proceedings of the Programming Language Implementation and Logic Programming, 1992

Context Rewriting.
[BibTeX]
[DOI]
Stefan Kahrs
Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992

1991
λ-rewriting.
[BibTeX]
[DOI]
Stefan Kahrs
PhD thesis, 1991


  Loading...