1 paper · 1 filter
Dorel Lucanu, Grigore Rosu, Eugen Goriac +1
The Circularity Principle was successfully applied for developing a coinductive proving technique, known as circular coinduction. In this paper, we show that the same principle can…