Travelled to:
1 × Austria
Collaborated with:
P.J.Voda
Talks about:
restrict (1) function (1) surpris (1) program (1) power (1) gödel (1)
Person: Lars Kristiansen
DBLP: Kristiansen:Lars
Contributed to:
Wrote 1 papers:
- CSL-2003-KristiansenV #power of #source code #strict
- The Surprising Power of Restricted Programs and Gödel’s Functionals (LK, PJV), pp. 345–358.