Yet Yet a Counterexample for lambda + SP.

Pierre-Louis Curien Thérèse Hardin

Published in: J. Funct. Program. (1994)

Keyphrases

model checking
formal verification
fixed point
database
three dimensional
allocation strategy
real time
machine learning
artificial intelligence
image processing
reinforcement learning
high resolution
knowledge discovery
response time