5 results on '"Yves Deville"'
Search Results
2. Guiding Synthesis Proofs.
3. Towards Stepwise, Schema-guided Synthesis of Logic Programms.
4. Logic Program Transformation through Generalization Schemata.
5. 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
Catalog
Books, media, physical & digital resources
Discovery Service for Jio Institute Digital Library
For full access to our library's resources, please sign in.