• Campusvej 55

    5230 Odense M

    Danmark

20092021
Hvis du har foretaget ændringer i Pure, vil de snart blive vist her.

Publikationer 2009 2019

  • 27 Konferencebidrag i proceedings
  • 16 Tidsskriftartikel
  • 5 Paper
  • 1 Konferenceartikel
Filtrer
Konferenceartikel
2010

Lazy Abstractions for Size-Change Termination

Codish, M., Fuhs, C., Giesl, J. & Schneider-Kamp, P., 2010, I : Lecture Notes in Computer Science. 6397, s. 217-232

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review