Author:
Caseau Yves,Guillo Pierre-Yves,Leveriez Eric
Publisher
Springer Berlin Heidelberg
Reference16 articles.
1. H. Aït-Kaci, A. Podelski. The Meaning of Life. PRL Research Report, DEC, 1990.
2. A. Agoun, N. Beldiceanu: Overview of the CHIP Compiler. Proc. of the 8th ICLP, Paris, 1991.
3. Y. Caseau. A Formal System for Producing Demons from Rules. Proc. of DOOD89, Kyoto 1989.
4. Y. Caseau. An Object-Oriented Deductive Language. Annals of Mathematics and Artificial Intelligence, special issue on deductive databases, March 1991.
5. Y. Caseau. Constraints in an Object-Oriented Deductive Database. Proc. of DOOD91, Munich, 1991.
Cited by
11 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献