Logic based program synthesis and transformation. 11th international workshop, LOPSTR 2001, Paphos, Cyprus, November 28--30, 2001. Selected papers

Author name not available (Why is that?)

Publication date: 27 August 2002

Published in: (Search for Journal in Brave)

No records found.

This page was built for publication: Logic based program synthesis and transformation. 11th international workshop, LOPSTR 2001, Paphos, Cyprus, November 28--30, 2001. Selected papers

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q1611725)