Clement - Logic Program Synthesis and Transformation Proceedings of - X555z

Logic Program Synthesis and Transformation Proceedings of LOPSTR

Logic-Based Program Synthesis and Transformation 20th Internation

Transformation, Cooperation, and Conversion: Proceedings of the NATO Advanced

Logic-Based Program Synthesis and Transformation 30th Internation

The pineal gland. Proceedings of the international symposium, Jerusalem, Novembe

Logic Program Synthesis and Transformation 5th International Work

Logic Based Program Synthesis and Transformation 12th Internation