Refinements of lazy narrowing for left-linear fully-extended pattern rewrite systems

Author(s)

• Marin, Mircea
• Suzuki, Taro
• 井田, 哲雄 イダ, テツオ
• 筑波大学電子・情報工学系 ツクバ ダイガク デンシ ジョウホウ コウガクケイ

Bibliographic Information

Refinements of lazy narrowing for left-linear fully-extended pattern rewrite systems

Mircea Marin, Taro Suzuki, and Tetsuo Ida

（ISE-TR, 01-180）

Institute of Information Sciences and Electronics, University of Tsukuba, [2001]

Note

Includes bibliographical references

Details

• NCID: BA56331935
• Country Code: ja
• Title Language Code: eng
• Text Language Code: eng
• Place of Publication: Tsukuba-shi, Ibaraki
• Pages/Volumes: 30 p.
• Size: 30 cm
• Parent Bibliography ID:
  • BA14260036