Finite-Tree Analysis for Constraint Logic-Based Languages.

Roberto Bagnara Roberta Gori Patricia M. Hill Enea Zaffanella

Published in: SAS (2001)

Keyphrases

information retrieval
quantitative analysis
database
artificial intelligence
search engine
web pages
statistical analysis
expressive power