On deforesting parameters of accumulating maps

Research output: Chapter in Book/Report/Conference proceeding › Article in proceedings › Research › peer-review

Original language	English
Title of host publication	Logic Based Program Synthesis and Transformation
Editors	Alberto Pettorossi
Publisher	Springer Verlag
Publication date	2002
Pages	46-56
DOIs	https://doi.org/10.1007/3-540-45607-4_3
Publication status	Published - 2002

Series	Lecture notes in computer science
Volume	2372
ISSN	0302-9743

ID: 177365543