An overview of life-Reference-Cited by-同舟云学术

An overview of life

Published:1991 Issue: Volume: Page:42-58
ISSN:0302-9743
Container-title:Next Generation Information System Technology
language:
Short-container-title:

Author:

Aït-Kaci Hassan

Publisher

Springer Berlin Heidelberg

Link

http://link.springer.com/content/pdf/10.1007/3-540-54141-1_4.pdf

Reference18 articles.

1. Hassan Aït-Kaci. A Lattice-Theoretic Approach to Computation Based on a Calculus of Partially-Ordered Type Structures. PhD thesis, University of Pennsylvania, Philadelphia, PA, USA, 1984.

2. Hassan Aït-Kaci. An algebraic semantics approach to the effective resolution of type equations. Theoretical Computer Science, 45:293–351, 1986.

3. Hassan Aït-Kaci, Robert Boyer, Patrick Lincoln, and Roger Nasr. Efficient implementation of lattice operations. ACM Transactions on Programming Languages and Systems, 11(1):115–146, January 1989.

4. Hassan Aït-Kaci and Patrick Lincoln. LIFE, a natural language for natural language. T. A. Informations, 1991. (To appear).

5. Hassan Aït-Kaci, Patrick Lincoln, and Roger Nasr. Le Fun: Logic, equations, and functions. In Proceedings of the Symposium on Logic Programming, pages 17–23, San Francisco, CA, USA, September 1987.

Cited by 9 articles. 订阅此论文施引文献订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献

1. Improving Residuation in Declarative Programs;Practical Aspects of Declarative Languages;2018-12-19

2. Functional Logic Programming: From Theory to Curry;Programming Logics;2013

3. Towards Deductive Object Databases;Theory and Practice of Object Systems;1995-01

4. A deductive and typed object-oriented language;Deductive and Object-Oriented Databases;1993

5. The progress towards an intelligent assistant — A discussion paper;Artificial Intelligence and Symbolic Mathematical Computing;1993