%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 }