On Proving Limiting Completeness.

Peter D. Mosses Gordon D. Plotkin

Published in: SIAM J. Comput. (1987)

Keyphrases

data quality
multi agent systems
computer science
data analysis
viewpoint
data sources
knowledge representation
term rewrite systems