Conditional Circular Coinductive Rewriting with Case Analysis (2002)
by
Joseph Goguen
,
Kai Lin
,
Grigore Rosu
| Citations: | 15 - 1 self |
BibTeX
@MISC{Goguen02conditionalcircular,
author = {Joseph Goguen and Kai Lin and Grigore Rosu},
title = {Conditional Circular Coinductive Rewriting with Case Analysis},
year = {2002}
}
Years of Citing Articles
Bookmark
 |
 |
 |
 |
 |
 |
OpenURL
Abstract
We argue for an algorithmic approach to behavioral proofs, review the hidden algebra approach, develop circular coinductive rewriting for conditional goals, extend it with case analysis, and give some examples.
