Filter
Søkt på: Søkeresultat
Filter
totalt 3 treff
Analysis, Verification and Transformation for Declarative Programming and Intelligent Systems
heftet,
2023,
Engelsk,
ISBN 9783031314759
This Festschrift, dedicated to Manuel Hermenegildo on the occasion of his 60th birthday, contains papers written by many of his closest collaborators. Manuel received his Ph.D. …
Logic Program Synthesis and Transformation
heftet,
1997,
Engelsk,
ISBN 9783540627180
This book constitutes the strictly refereed post-workshop proceedings of the Sixth International Workshop on Logic Program Synthesis and Transformation, LOPSTR'96, held on board a …
Logic-Based Program Synthesis and Transformation
heftet,
2018,
Engelsk,
ISBN 9783319944593
This book constitutes the thoroughly refereed post-conference proceedings of the 27th International Symposium on Logic-Based Program Synthesis and Transformation, LOPSTR 2017, held …