Towards a Meaning of LIFE

@article{AtKaci1993TowardsAM,
  title={Towards a Meaning of LIFE},
  author={Hassan A{\"i}t-Kaci and Andreas Podelski},
  journal={J. Log. Program.},
  year={1993},
  volume={16},
  pages={195-234}
}
Highly Influential
This paper has highly influenced 23 other papers. REVIEW HIGHLY INFLUENTIAL CITATIONS

Similar Papers

Loading similar papers…