Strictness Analysis Aids Inductive Proofs.

John Launchbury

Published in: Inf. Process. Lett. (1990)

Keyphrases

case study
artificial intelligence
image analysis
data mining
e learning
multimedia
multi agent
learning environment
data analysis
relational databases
artificial neural networks
knowledge representation
statistical analysis
quantitative analysis
theorem proving