Fakultät für Informatik
-
Technische Universität München
Lehrstuhl für Effiziente Algorithmen
Die bibliographische Datenbank LEABib
Suchen
•
Liste der Journale
•
Liste der Serien
•
Liste der Konferenzen
•
Ausgewählte Publikationen
Hilfe
Suche: Author="Kahrs, Stefan"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Infinitary rewriting: Closure operators, equivalences and models
Stefan Kahrs
Acta Informatica
50
(2), 2013, pp. 123-156
Infinitary rewriting: Meta-theory and convergence
Stefan Kahrs
Acta Informatica
44
(2), 2007, pp. 91-121
The definition of extended ML: A gentle introduction
Stefan Kahrs
,
Donald Sannella
,
Andrzej Tarlecki
Theoretical Computer Science
173
(2), 1997, pp. 445-484
Confluence of curried term-rewriting systems
Stefan Kahrs
Journal Symbolic Computation
19
(6), 1995, pp. 601-623