• Campusvej 55

    5230 Odense M

    Danmark

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

Publikationer 2003 2019

Filtrer
Konferenceartikel

Improved modular termination proofs using dependency pairs

Thiemann, R., Giesl, J. & Schneider-Kamp, P., 9. dec. 2004, I : Lecture Notes in Artificial Intelligence (Subseries of Lecture Notes in Computer Science). 3097, s. 75-90 16 s.

Publikation: Bidrag til tidsskriftKonferenceartikelForskningpeer review

Experiments