Title of article
Strongly sequential and inductively sequential term rewriting systems
Author/Authors
Michael Hanus، نويسنده , , Salvador Lucas، نويسنده , , Aart Middeldorp، نويسنده ,
Issue Information
دوهفته نامه با شماره پیاپی سال 1998
Pages
8
From page
1
To page
8
Keywords
programming languages , Definitional trees , Term rewriting , Strong sequentiality , Declarative programming , Neededness
Journal title
Information Processing Letters
Serial Year
1998
Journal title
Information Processing Letters
Record number
128909
Link To Document