Projections for Polymorphic First-Order Strictness Analysis.

John Hughes John Launchbury

Published in: Math. Struct. Comput. Sci. (1992)

Keyphrases

image analysis
real time
quantitative analysis
artificial intelligence
search engine
decision making
website
preprocessing
data model
knowledge representation
medical images
logic programs
first order logic