Stefan Kahrs

ORCID

Publication Activity (10 Years)

Years Active: 1992-2022
Publications (10 Years): 2

Top Venues

FSCD

Acta Informatica

J. Symb. Comput.

University of Bremen, Germany (PHD)

Education History

University of Bremen, Germany

PHD

Publications

Stefan Kahrs, Colin Runciman
Simplifying regular expressions further. J. Symb. Comput. 109 (2022)
Stefan Kahrs, Connor Smith
Non-Omega-Overlapping TRSs are UN. FSCD (2016)
Stefan Kahrs
Infinitary rewriting: closure operators, equivalences and models. Acta Informatica 50 (2) (2013)
Stefan Kahrs
Modularity of Convergence and Strong Convergence in Infinitary Rewriting Log. Methods Comput. Sci. 6 (3) (2010)
Stefan Kahrs
Infinitary Rewriting: Foundations Revisited. RTA (2010)
Stefan Kahrs
Modularity of Convergence in Infinitary Rewriting. RTA (2009)
Stefan Kahrs
Infinitary rewriting: meta-theory and convergence. Acta Informatica 44 (2) (2007)
Stefan Kahrs
Genetic programming with primitive recursion. GECCO (2006)
Stefan Kahrs
Well-Going Programs Can Be Typed. TLCA (2003)
Stefan Kahrs
Red-black trees with types. J. Funct. Program. 11 (4) (2001)
Stefan Kahrs, Donald Sannella
Reflections on the Design of a Specification language. FASE (1998)
Stefan Kahrs, Donald Sannella, Andrzej Tarlecki
The Definition of Extended ML: A Gentle Introduction. Theor. Comput. Sci. 173 (2) (1997)
Stefan Kahrs
Limits of ML-Definability. PLILP (1996)
Stefan Kahrs
Confluence of Curried Term-Rewriting Systems. J. Symb. Comput. 19 (6) (1995)
Stefan Kahrs
The Variable Containment Problem. HOA (1995)
Stefan Kahrs
Towards a Domain Theory for Termination Proofs. RTA (1995)
Stefan Kahrs
First-Class Polymorphism for ML. ESOP (1994)
Stefan Kahrs, Donald Sannella, Andrzej Tarlecki
Interfaces and Extended ML. Workshop on Interface Definition Languages (1994)
Stefan Kahrs
dA Standard Types and Predefined Type Schemata. PROSPECTRA Book (1993)
Stefan Kahrs, Donald Sannella, Andrzej Tarlecki
The Semantics of Extended ML: A Gentle Introduction. Semantics of Specification Languages (1993)
Stefan Kahrs
Compilation of Combinatory Reduction Systems. HOA (1993)
Stefan Kahrs
Context Rewriting. CTRS (1992)
Stefan Kahrs
Unlimp, Uniqueness as a Leitmotiv for Implementation. PLILP (1992)

Stefan Kahrs.css-eqlu8i{font-size:small;padding-left:4px;}

Publication Activity (10 Years)

Top Topics

Top Venues

Stefan Kahrs