Travelled to:
1 × Brazil
Collaborated with:
A.Weiermann
Talks about:
complex
(1)
formul
(1)
gödel
(1)
Person:
Gunnar Wilken
DBLP: Wilken:Gunnar
Contributed to:
2009
Wrote 1 papers:
TLCA-2009-WilkenW
#complexity
Complexity of Gödel’s T in λ-Formulation (
GW
,
AW
), pp. 386–400.
Bibliography of Software Language Engineering in Generated Hypertext
(
BibSLEIGH
) is created and maintained by
Dr. Vadim Zaytsev
.
Hosted as a part of
SLEBOK
on
GitHub
.