Login / Signup

An Approach to System Correctness.

Gilles Kahn
Published in: SOSP (1971)
Keyphrases
  • real time
  • artificial intelligence
  • data analysis
  • special case
  • computational intelligence
  • image classification
  • logic programs