Pages that link to "Item:Q1890044"
From MaRDI portal
The following pages link to Logic based program synthesis and transformation. 13th international symposium, LOPSTR 2003, Uppsala, Sweden, August 25--27, 2003. Revised selected papers. (Q1890044):
Displaying 2 items.