in LOGIC BASED PROGRAM SYNTHESIS AND TRANSFORMATION in LECTURE NOTES IN COMPUTER SCIENCE, ISSN: 0302-9743
Volume: 2372, Páginas: 216-232 (17)
Conference
11Th International Workshop on Logic Based Program Synthesis and Transformation, Date: NOV 28-30, 2001, Location: PAPHOS, CYPRUS, Patrocinadores: Assoc Log Programming, COLOG Net, Int Federat Computat Log, CNR, IASI Inst, Univ Studi Roma Tor Vergata