dblp.uni-trier.de www.uni-trier.de

3. LOPSTR 1993: Louvain-la-Neuve, Belgium

Yves Deville (Ed.): Logic Program Synthesis and Transformation, Proceedings of LOPSTR 93, International Workshop on Logic Program Synthesis and Transformation, Louvain-la-Neuve, Belgium, 7-9 July 1993. Workshops in Computing, Springer 1994, ISBN 3-540-19864-4 and 0-387-19864-4

Copyright © Sat May 16 23:28:57 2009 by Michael Ley (ley@uni-trier.de)