Billede af Sven Skyum

Sven Skyum

  • Åbogade 34

    8200 Aarhus N

    Danmark

1974 …2014

Publikationer pr. år

Filter
Bidrag til bog/antologi

Søgeresultater

  • 2012

    To Dexter - A Tribute from Aarhus

    Schmidt, E. M., Skyum, S. & Nielsen, M., 2012, Logic and Program Semantics : Essays Dedicated to Dexter Kozen on the Occasion of His 60th Birthday. Constable, R. L. & Silva, A. (red.). Springer, s. 341 1 s. (Lecture Notes in Computer Science, Bind 7230).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Formidling

  • 1986

    Symmetric Distributed Termination

    Skyum, S. & Eriksen, O., 1986, The Book of L. Rozenberg, G. & Salomaa, A. (red.). Springer, s. 427-430 4 s.

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Forskning › peer review

  • 1974

    Nonterminals and codings in defining variations of OL-systems

    Skyum, S., 1974, L Systems. Rozenberg, G. & Salomaa, A. (red.). Springer, s. 244-249 6 s. (Lecture Notes in Computer Science, Bind 15).

    Publikation: Bidrag til bog/antologi/rapport/proceeding › Bidrag til bog/antologi › Forskning › peer review