Refinements of lazy narrowing for left-linear fully-extended pattern rewrite systems
著者
書誌事項
Refinements of lazy narrowing for left-linear fully-extended pattern rewrite systems
（ISE-TR, 01-180）
Institute of Information Sciences and Electronics, University of Tsukuba, [2001]
大学図書館所蔵 全1件
この図書・雑誌をさがす
注記
Includes bibliographical references