×

找到3个文档(结果1-3)

将平铺逻辑映射到重写逻辑。 (英语) Zbl 0903.08010

Parisi Presicce,Francesco(编辑),代数开发技术的最新趋势。1997年6月3日至7日,第12届国际研讨会,WADT’97,意大利塔基尼亚。精选论文。柏林:斯普林格。莱克特。注释计算。科学。1376, 62-91 (1998).
PDF格式BibTeX公司 XML格式引用

筛选结果依据…

文档类型

出版年份

软件