Conditional Circular Coinductive Rewriting with Case Analysis (2002)

Cached

Download Links

by Joseph Goguen , Kai Lin , Grigore Rosu
Citations:18 - 1 self