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

Functional and Logic Programming; 3. Fuji International Symposium; Sato, Masahik

Functional and Logic Programming: 7th International Symposium, Flops 2004,...

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

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

Foundations and Practice of Security: 17th International Symposium, FPS 2024, Mo

Functional and Logic Programming : 14th International Symposium, Flops 2018, ...

Functional and Logic Programming: 5th International Symposium, FLOPS 2001, Tokyo