On deforesting parameters of accumulating maps

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

OriginalsprogEngelsk
TitelLogic Based Program Synthesis and Transformation
RedaktørerAlberto Pettorossi
ForlagSpringer Verlag
Publikationsdato2002
Sider46-56
DOI
StatusUdgivet - 2002
NavnLecture notes in computer science
Vol/bind2372
ISSN0302-9743

ID: 177365543