Forskning ved Københavns Universitet - Københavns Universitet

Forside

Semi-inversion of conditional constructor term rewriting systems

Publikation: Bidrag til bog/antologi/rapportKonferencebidrag i proceedingsForskningfagfællebedømt

OriginalsprogEngelsk
TitelLogic-based Program Synthesis and Transformation
RedaktørerMaurizio Gabbrielli
ForlagSpringer
Publikationsdato2020
Sider 243-259
DOI
StatusUdgivet - 2020
NavnLecture Notes in Computer Science
Vol/bind12042
ISSN0302-9743

ID: 240803330