Conditional Circular Coinductive Rewriting with Case Analysis.

Joseph A. Goguen Kai Lin Grigore Rosu

Published in: WADT (2002)

Keyphrases

statistical analysis
case study
quantitative analysis
real world
search algorithm
graphical models
hough transform