Links

LOPSTR 1991: International Symposium on Logic-Based Program Synthesis and Transformation 1991

in ,

About the Conference

Conference Dates

Proceedings

runs on