P. Flener, K. Lau, and M. Ornaghi. Logic Program Synthesis and Transformation, 7th International Workshop, LOPSTR'97, Proceedings, volume 1463 of LNCS, page 128--147. Springer-Verlag, (1998)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 FlenerLaOr98
%A Flener, Pierre
%A Lau, Kung-Kiu
%A Ornaghi, Mario
%B Logic Program Synthesis and Transformation, 7th International Workshop, LOPSTR'97, Proceedings
%D 1998
%E Fuchs, Norbert E.
%I Springer-Verlag
%K program_synthesis schemas
%P 128--147
%T On Correct Program Schemas
%V 1463
@inproceedings{FlenerLaOr98,
added-at = {2010-04-23T11:32:58.000+0200},
author = {Flener, Pierre and Lau, Kung-Kiu and Ornaghi, Mario},
biburl = {https://www.bibsonomy.org/bibtex/20dad353293a2f7fe1ab6cf786812da8d/emanuel},
booktitle = {Logic Program Synthesis and Transformation, 7th International Workshop, LOPSTR'97, Proceedings},
editor = {Fuchs, Norbert E.},
interhash = {67269cd0d193766db93db83b3a7dc8b9},
intrahash = {0dad353293a2f7fe1ab6cf786812da8d},
keywords = {program_synthesis schemas},
pages = {128--147},
publisher = {Springer-Verlag},
series = {LNCS},
timestamp = {2010-04-23T11:32:58.000+0200},
title = {On Correct Program Schemas},
volume = 1463,
year = 1998
}
