Stefan Kahrs
Orcid: 0000-0001-5099-9375Affiliations:
- University of Kent, UK
According to our database1,
Stefan Kahrs
authored at least 24 papers
between 1991 and 2022.
Collaborative distances:
Collaborative distances:
Timeline
1995
2000
2005
2010
2015
2020
0
1
2
3
4
1
1
1
1
1
1
1
1
1
1
1
1
1
1
2
2
3
2
1
Legend:
Book In proceedings Article PhD thesis Dataset OtherLinks
Online presence:
-
on orcid.org
On csauthors.net:
Bibliography
2022
2016
Proceedings of the 1st International Conference on Formal Structures for Computation and Deduction, 2016
2013
Acta Informatica, 2013
2010
Log. Methods Comput. Sci., 2010
Proceedings of the 21st International Conference on Rewriting Techniques and Applications, 2010
2009
Proceedings of the Rewriting Techniques and Applications, 20th International Conference, 2009
2007
2006
Proceedings of the Genetic and Evolutionary Computation Conference, 2006
2003
Proceedings of the Typed Lambda Calculi and Applications, 6th International Conference, 2003
2001
1998
Proceedings of the Fundamental Approaches to Software Engineering, 1998
1997
1996
Proceedings of the Programming Languages: Implementations, 1996
1995
Proceedings of the Rewriting Techniques and Applications, 6th International Conference, 1995
1994
Proceedings of the Workshop on Interface Definition Languages, 1994
Proceedings of the Programming Languages and Systems, 1994
1993
Proceedings of the Semantics of Specification Languages (SoSL), 1993
Proceedings of the Program Development by Specification and Transformation, 1993
Proceedings of the Higher-Order Algebra, 1993
1992
Proceedings of the Programming Language Implementation and Logic Programming, 1992
Proceedings of the Conditional Term Rewriting Systems, Third International Workshop, 1992
1991