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="Endrullis, J{\"o}rg"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Highlights in infinitary rewriting and lambda calculus
Jörg Endrullis
,
Dimitri Hendriks
,
Jan Willem Klop
Theoretical Computer Science
464
, 2012, pp. 48-71
Fast leader election in anonymous rings with bounded expected delay
Rena Bakhshi
,
Jörg Endrullis
,
Wan Fokkink
,
Jun Pang
Information Processing Letters
111
(17), 2011, pp. 864-870
Levels of undecidability in rewriting
Jörg Endrullis
,
Herman Geuvers
,
Jakob Grue Simonsen
,
Hans Zantema
Information and Computation
209
(2), 2011, pp. 227-245
On equal
\mu
-terms
Jörg Endrullis
,
Clemens Grabmayer
,
Jan Willem Klop
,
Vincent van Oostrom
Theoretical Computer Science
412
(28), 2011, pp. 3175-3202
Lazy productivity via termination
Jörg Endrullis
,
Dimitri Hendriks
Theoretical Computer Science
412
(28), 2011, pp. 3203-3225
Productivity of stream definitions
Jörg Endrullis
,
Clemens Grabmayer
,
Dimitri Hendriks
,
Ariya Isihara
,
Jan Willem Klop
Theoretical Computer Science
411
(4-5), 2010, pp. 765-782