Title of article
Decidability of the Existential Theory of Infinite Terms with Subterm Relation
Author/Authors
Tulipani S.، نويسنده ,
Issue Information
روزنامه با شماره پیاپی سال 1994
Pages
33
From page
1
To page
33
Journal title
Information and Computation
Serial Year
1994
Journal title
Information and Computation
Record number
261359
Link To Document