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

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

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

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

Deville - Logic Program Synthesis and Transformation Proceedings of - X555z

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

Logic-Based Program Synthesis and Transformation: 35th International Symposium,

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