×

找到6个文档（结果1-6）

最新的 引文 关联
谢尔盖·阿布拉莫夫;罗伯特·格莱克;尤里·克里莫夫

惰性语言逆计算的通用求解算法。 （英文） Zbl 1185.68328号

Virbitskaite，Irina（编辑）等人，《系统信息学展望》。2006年6月27日至30日，俄罗斯新西伯利亚，第六届安德烈·埃尔肖夫国际纪念大会，PSI 2006。修订论文。柏林：施普林格出版社（ISBN 978-3-540-70880-3/pbk）。计算机科学课堂讲稿4378，27-40（2007）。
MSC公司：2005年第68季度 2010年第68季度 68号30
PDF格式BibTeX公司 XML格式引用
\textit{S.Abramov}等人，Lect。注释计算。科学。4378，27-40（2007；Zbl 1185.68328）
全文： 内政部
谢尔盖·阿布拉莫夫;罗伯特·格莱克

逆计算原理和通用求解算法。 （英文） Zbl 1026.68023号

托本·莫根森。（ed.）等人，《计算的本质》。复杂性、分析、转换。献给尼尔·D·琼斯的文章。柏林：斯普林格。莱克特。注释计算。科学。2566, 269-295 (2002).
MSC公司：68号30 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{S.Abramov}和\textit{R.Glück}，莱克特。注释计算。科学。2566、269--295（2002年；Zbl 1026.68023）
全文： 链接
谢尔盖·阿布拉莫夫;罗伯特·格莱克

将语义与非标准解释器层次结构相结合。 （英文） Zbl 1044.68664号

Kapoor，Sanjiv（编辑）等人，FST TCS 2000：软件技术和理论计算机科学基础。第20次会议，2000年12月13日至15日，印度新德里。诉讼程序。柏林：施普林格出版社（ISBN 3-540-41413-4）。莱克特。注释计算。科学。1974, 201-213 (2000).
MSC公司：68问题55 68号30
PDF格式BibTeX公司 XML格式引用
\textit{S.Abramov}和\textit{R.Glück}，莱克特。注释计算。科学。1974年，201-213（2000年；Zbl 1044.68664）
全文： 链接
谢尔盖·阿布拉莫夫;罗伯特·格莱克

通用求解算法：函数语言中的逆计算。 （英文） Zbl 0963.68500号

Backhouse，Roland（编辑）等人，《程序构建的数学》。2000年7月3日至5日，第五届国际会议，MPC 2000，葡萄牙利马桥。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1837, 187-212 (2000).
MSC公司：68甲18 68号30
PDF格式BibTeX公司 XML格式引用
\textit{S.Abramov}和\textit{R.Glück}，莱克特。注释计算。科学。1837187-212（2000年；Zbl 0963.68500）

筛选结果依据…

文档类型

作者

序列号

出版年份

主字段

软件