Title of article
A Coinduction Principle for Recursive Data Types Based on Bisimulation
Author/Authors
Marcelo P. Fiore، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1996
Pages
13
From page
186
To page
198
Journal title
Information and Computation
Serial Year
1996
Journal title
Information and Computation
Record number
261663
Link To Document