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="Weiermann, Andreas"
Als [
bib
] [
pdf
] [
ps
] [
dvi
] [
xml
] herunterladen.
Sharp thresholds for hypergraph regressive Ramsey numbers
Lorenzo Carlucci
,
Gyesik Lee
,
Andreas Weiermann
Journal of Combinatorial Theory Series A
118
(2), 2011, pp. 558-585
Sharp thresholds for the phase transition between primitive recursive and Ackermannian Ramsey numbers
Menachem Kojman
,
Gyesik Lee
,
Eran Omri
,
Andreas Weiermann
Journal of Combinatorial Theory Series A
115
(6), 2008, pp. 1036-1055
Termination proofs for term rewriting systems by lexicographic path orderings imply multiply recursive derivation lengths
Andreas Weiermann
Theoretical Computer Science
139
(1-2), 1995, pp. 355-362
Complexity bounds for some finite forms of Kruskal's theorem
Andreas Weiermann
Journal Symbolic Computation
18
(5), 1994, pp. 463-488