M.Marin, T.Suzuki, T.Ida: "Higher-Order Lazy Narrowing for Left-Linear Fully-Extended Pattern Rewrite Systems"筑波大学電子・情報工学系テクニカルレポート. ISE-TR-01-180. (2001)
M.Marin, T.Suzuki, T.Ida: "Higher-Order Lazy Narrowing for Left-Linear Fully-Extended Pattern Rewrite Systems"筑波大学電子・情報工学系テクニカルレポート. ISE-TR-01-180. (2001)
复制标题
M.Marin、T.Suzuki、T.Ida：“左线性完全扩展模式重写系统的高阶惰性窄化”技术报告，筑波大学电子与信息工程系 ISE-TR-01-180。 （2001）
DOI：
--
复制
发表时间：
--
期刊：
影响因子：
--
通讯作者：
中科院分区：
文献类型：
--
作者：
