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

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

Unifying Theories of Programming: Second International Symposium

Functional Logic Programming 7th International Symposium FLOPS 20… 9783540214021

Middeldorp - Functional and Logic Programming 4th Fuji International - X555z

Foundations of Information and Knowledge Systems: 13th International Symposium,

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

Programming Languages and Systems: 23rd Asian Symposium, APLAS 2025, Bengaluru,