Luk - Field Programmable Logic and Applications 7th International Wo - X555z

Blackburn - Logic Rationality and Interaction 7th International Wo - X555z

Bosch - Logic uage and Computation 7th International Tbilisi Sympo - X555z

Deville - Logic Program Synthesis and Transformation Proceedings of - X555z

Alpuente - Logic-Based Program Synthesis and Transformation 20th Int - X555z

Vidal - Logic-Based Program Synthesis and Transformation 21st Interna - X555z

Logic-Based Program Synthesis and Transformation: 33rd International Symposium,

Gallagher - Logic Program Synthesis and Transformation 6th Internati - X555z