Author:
Chasseur Eric,Deville Yves
Publisher
Springer Berlin Heidelberg
Reference23 articles.
1. H. Büyükyıldız and P. Flener, Generalized logic program transformation schemas, In: N.E. Fuchs (ed.), Proc. of LOPSTR’97 (this volume)
2. Y. Deville and K.-K. Lau, Logic program synthesis: A survey, Journal of Logic Programming, 19–20:321–350, May/July 1994
3. P. Flener, Logic Program Synthesis From Incomplete Information, Kluwer Academic Publishers, 1995
4. P. Flener and Y. Deville, Logic program transformation through generalization schemata, In: M. Proietti (ed.), Proc. of LOPSTR’95, Springer-Verlag, 1996
5. P. Flener, K.-K. Lau and M. Ornaghi, On Correct Program Schemas, In: N.E. Fuchs (ed.), Proc. of LOPSTR’97 (this volume)
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献,注册后可以免费订阅5篇论文的施引文献,订阅后可以查看论文全部施引文献
1. Variadic equational matching in associative and commutative theories;Journal of Symbolic Computation;2021-09
2. A Constraint Solver for Equations over Sequences and Contexts;Advanced Computational Methods for Knowledge Engineering;2016
3. Matching with Regular Constraints;Logic for Programming, Artificial Intelligence, and Reasoning;2005
4. Guided programming and automated error analysis in an intelligent Prolog tutor;International Journal of Human-Computer Studies;2004-10
5. Synthesis of Programs in Computational Logic;Program Development in Computational Logic;2004