Towards a meaning of LIFE

Publisher Website

1 January 1991

book chapter
Published by Springer Nature

p. 255-274
https://doi.org/10.1007/3-540-54444-5_104

Abstract

No abstract available

Keywords

This publication has 4 references indexed in Scilit:

Integrating logic and functional programming
Higher-Order and Symbolic Computation, 1989
Constraint logic programming
Published by Association for Computing Machinery (ACM) ,1987
An algebraic semantics approach to the effective resolution of type equations
Theoretical Computer Science, 1986
Login: a logic programming language with built-in inheritance
The Journal of Logic Programming, 1986