Title of article
Structuring Metatheory on Inductive Definitions
Author/Authors
David Basin، نويسنده , , Sean Matthews، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 2000
Pages
16
From page
80
To page
95
Journal title
Information and Computation
Serial Year
2000
Journal title
Information and Computation
Record number
261917
Link To Document