Title of article :
Strong and NV-sequentiality of constructor systems
Author/Authors :
Salvador Lucas، نويسنده ,
Issue Information :
دوهفته نامه با شماره پیاپی سال 2004
Keywords :
Sequentiality , Term rewriting , strategies , programming languages
Journal title :
Information Processing Letters
Journal title :
Information Processing Letters
