Publikationer 2017 2019

Filter
Rapport
2018

Confluence of CHR revisited: invariants and modulo equivalence [Extended version with proofs]

Christiansen, H. & Kirkeby, M. H., 3 okt. 2018, Roskilde: Roskilde Universitet. 20 s. (Roskilde Universitet. Computer Science. Computer Science Research Report, Bind 153).

Publikation: Bog/antologi/afhandling/rapportRapportForskning

Åben adgang
Fil