×

找到134个文档（结果1-100）

最新的 引文 关联
格思·斯特林特·布罗达尔；Rysgaard，卡斯珀·莫尔德鲁普；Jens Kristian Refsgaard学校；罗尔夫·斯文宁

空间效率高的功能离线部分持久树，应用于平面点定位。 （英语） Zbl 07789734号

Morin，Pat（编辑）等人，《算法和数据结构》。2023年7月31日至8月2日，第18届WADS 2023国际研讨会，加拿大魁北克省蒙特利尔。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。14079, 644-659 (2023).
MSC公司：68第05页 68瓦xx
PDF格式BibTeX公司 XML格式引用
\textit{G.S.Brodal}等人，Lect。注释计算。科学。14079、644--659（2023；Zbl 07789734）
全文： 内政部
贝诺沙司；盖尔·吉伯特；Jean-Pierre Descés

运算符上的代数和逻辑运算——语义计算的一个应用。 （英语） Zbl 07740538号

Béziau，Jean-Yves（编辑）等人，《逻辑问题》。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会（2011-2019年）上的会谈。查姆：Birkhäuser。通用螺栓。日志。，691-708 (2022).
MSC公司：03A05号 03Bxx号 01A25号 01A55号
PDF格式BibTeX公司 XML格式引用
\textit{B.Sauzay}等人，in：逻辑问题。2019年4月15日至16日在法国巴黎举行的年度索邦逻辑研讨会（2011-2019）上的会谈。查姆：Birkhäuser。691-708（2022年；Zbl 07740538）
全文： 内政部
理查德·斯塔特曼

只有一个对象的类别中的产品。 （英语） 兹比尔1478.18005

Spivak，David I.（编辑）等人，《2020年第三届国际应用范畴理论年会论文集》，ACT 2020，美国剑桥，2020年7月6日至10日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）333347-353（2021年）。
审核人：Hirokazu Nishimura（筑波）
MSC公司：18B40码 03G25号 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{R.Statman}，电子。程序。西奥。计算。科学。（EPTCS）333347-353（2021；Zbl 1478.18005）
全文： arXiv公司 链接
扬科·伯姆；沃尔夫拉姆·戴克；Frühbis-Krüger，安妮；弗朗兹·约瑟夫·普弗雷恩特；米尔科·拉恩；卢卡斯·里斯托

面向代数几何中的大规模并行计算。 （英语） Zbl 1485.14109号

已找到。计算。数学。 21，第3期，767-806（2021）.
审核人：卢卡·奇安蒂尼（锡耶纳）
MSC公司：2010年第14季度 14B05型
PDF格式BibTeX公司 XML格式引用
\textit{J.Böhm}等人，发现。计算。数学。21，第3号，767--806（2021；Zbl 1485.14109）
全文： 内政部 arXiv公司
沃洛德米尔·斯科贝列夫（Volodymyr G.Skobelev）。；伊万诺夫，列夫根；尼基琴科、米科拉

具有有序名称集的命名数据。 （英语） Zbl 1390.68197号

计算。科学。J.模具。 25，第2号（74），195-216（2017）.
MSC公司：68个P01 03E20型 06年05月 68第05页 第68页，共15页 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{V.G.Skobelev}等人，计算。科学。J.模具。25，第2号（74），195--216（2017；Zbl 1390.68197）
全文： 链接
斯特夫·乔斯顿

使用Ampersand进行关系代数软件开发。 （英语） Zbl 1486.68042号

Höfner，Peter（编辑）等人，《计算机科学中的关系和代数方法》。第16届国际会议，RAMiCS 2017，法国里昂，2017年5月15日至18日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10226, 177-192 (2017).
MSC公司：68号30 03G15年 第68页第20页 第68页，共15页
PDF格式BibTeX公司 XML格式引用
\textit{S.Joosten}，莱克特。注释计算。科学。10226177-192（2017年；兹比尔1486.68042）
全文： 内政部
特纳博士。

递归方程作为一种编程语言。 （英语） Zbl 1343.68002号

林德利，萨姆（编辑）等人，《改变世界的成功列表》。在菲利普·沃德勒60岁生日之际为他撰写的论文。查姆：施普林格（ISBN 978-3-319-30935-4/pbk；978-3-3169-30936-1/电子书）。计算机科学讲座笔记9600，459-478（2016）。
MSC公司：2003年8月 01A75号 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{D.A.Turner}，莱克特。注释计算。科学。9600，459--478（2016；Zbl 1343.68002）
全文： 内政部
雷米斯·巴拉纽克

钻并连接：一种精确归纳程序合成的方法。 （英语） Zbl 1457.68045号

Proietti，Maurizio（编辑）等，基于逻辑的程序合成和转换。2014年9月9日至11日在英国坎特伯雷举行的2014年LOPSTR第24届国际研讨会。修改选定的论文。查姆：斯普林格。莱克特。注释计算。科学。8981219-237（2015年）。
MSC公司：68甲18 68T05型
PDF格式BibTeX公司 XML格式引用
\textit{R.Balaniuk}，莱克特。注释计算。科学。8981、219--237（2015；Zbl 1457.68045）
全文： 内政部
马克·本德；杰弗里·祖克

赋值演算：一种纯粹的命令式语言。 （英语） Zbl 1419.68032号

Artemov，Sergei（编辑）等人，《计算机科学的逻辑基础》。2013年1月6日至8日在美国加利福尼亚州圣地亚哥举行的2013年LFCS国际研讨会。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。7734, 44-58 (2013).
MSC公司：68甲15 2012年第68季度 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Bender}和\textit{J.Zucker}，莱克特。注释计算。科学。7734，44-58（2013；Zbl 1419.68032）
全文： 内政部
蒂亚戈·L·阿尔维斯。；保罗·F·席尔瓦。；Joost Visser公司

约束感知模式转换。 （英语） Zbl 1291.68213号

Kniesel，Günter（编辑）等人，第九届基于规则的编程国际研讨会（2008年规则），奥地利哈根堡哈根堡城堡，2008年7月14日至18日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记290，3-18（2012）。
MSC公司：2012年第68季度 68甲18 68号30
PDF格式BibTeX公司 XML格式引用
\textit{T.L.Alves}等人，《电子》。注释Theor。计算。科学。290，3--18（2012；Zbl 1291.68213）
全文： 内政部
阿尔西诺·库尼亚；雨果·帕切科

递归类型泛型函数的代数特化。 （英语） Zbl 1291.68113号

Capretta，Venanzio（编辑）等人，《数学结构函数编程第二次研讨会论文集》（MSFP 2008），冰岛雷克雅未克，2008年7月6日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》229，第5期，57-74（2011）。
MSC公司：68甲18 68号30 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛A.Cunha｝和\textit｛H.Pacheco｝，电子。注释Theor。计算。科学。229，第5号，57--74（2011；Zbl 1291.68113）
全文： 内政部
Rick，Statman先生

笛卡尔幺半群。 （英语） Zbl 1343.03047号

Mislove，Michael（ed.）等人，《第26届编程语义数学基础会议论文集》（MFPS 2010），加拿大渥太华，2010年5月6日至10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记265437-451（2010）。
MSC公司：03G25号 03B40型 68号30
PDF格式BibTeX公司 XML格式引用
\textit{R.Statman}，电子。注释Theor。计算。科学。265437-451（2010年；Zbl 1343.03047）
全文： 内政部
JoséN·奥利维拉。

使用无点变换通过计算扩展静态检查。 （英语） 兹比尔1250.68093

Bove，Ana（编辑）等人，《语言工程和严格的软件开发》。2008年2月24日至3月1日，乌拉圭皮里亚波利斯，2008年国际LerNet ALFA暑期学校。修订的教程讲座。柏林：施普林格出版社（ISBN 978-3-642-03152-6/pbk）。计算机科学讲义5520195-251（2009）。
MSC公司：68号30 03B70号
PDF格式BibTeX公司 XML格式引用
\textit{J.N.Oliveira}，莱克特。注释计算。科学。5520195-251（2009年；兹比尔1250.68093）
全文： 内政部 链接
伯尔尼布拉大街；简·克里斯蒂安森

通过变换表示。通过转换为无点风格来获得指称语义。 （英语） Zbl 1179.68032号

安迪·金（编辑），基于逻辑的程序合成和转换。2007年8月23日至24日，第17届国际研讨会，LOPSTR，丹麦康根斯·林比。修改选定的论文。柏林：施普林格出版社（ISBN 978-3-540-78768-6/pbk）。计算机科学课堂讲稿4915，90-105（2008）。
MSC公司：68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{B.Braßel}和\textit{J.Christiansen}，莱克特。注释计算。科学。4915、90-105（2008年；Zbl 1179.68032）
全文： 内政部
巴扎诺夫，S.E。；库捷波夫。；谢斯塔科夫，D.A。

功能并行典型化语言及其在集群上的实现。 （英语。俄文原件） Zbl 1106.68017号

程序。计算。柔和。 31，第5期，237-269（2005）; 译自Programmirovanie 31，No.5，18-51（2005）。
MSC公司：68甲19 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{S.E.Bazhanov}等人，《程序》。计算。柔和。31，No.5，237--269（2005；Zbl 1106.68017）；译自Programmirovanie 31，No.5，18--51（2005）
全文： 内政部
维维亚娜·博诺；伊万诺·萨尔沃

面向对象语言的CuCh解释。 （英语） Zbl 1261.68042号

利维，Jean-Jacques（编辑），BOTH 2001–Böhm定理：计算机科学理论的应用。2001年7月13日在希腊克里特岛举行的第28届自动控制、语言和编程国际学术讨论会（ICALP 2001）的四个卫星研讨会之一的会议记录。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记50，第2期，159-177（2001）。
MSC公司：68甲18 03B40型 68甲19
PDF格式BibTeX公司 XML格式引用
\textit{V.Bono和\textit{I.Salvo}，电子。注释Theor。计算。科学。50，第2号，159--177（2001；Zbl 1261.68042）
全文： 内政部
哈特穆特·埃里格；伯恩德·马赫

TAPSOFT的十年。软件开发理论和实践方面的进展和前景。 （英语） Zbl 1496.68077号

Mosses，Peter D.（编辑）等人，《TAPSOFT’95：软件开发的理论与实践》。1995年5月在丹麦奥胡斯举行的第六届CAAP/FASE国际联席会议。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。915, 3-24 (1995).
MSC公司：68号01 68号30 2012年第68季度 60年第68季度 68问题65 68-02 2003年8月
PDF格式BibTeX公司 XML格式引用
\textit{H.Ehrig}和\textit{B.Mahr}，莱克特。注释计算。科学。915，3--24（1995年；Zbl 1496.68077）
全文： 内政部
Yu Kapitonova。五、。；莱蒂切夫斯基，A。

编程的基本范例。 （英语。俄文原件） Zbl 0837.68011号

赛博。系统。分析。 30，第6号，793-806（1994）; 翻译自Kibern。修女。分析。6, 3-20 (1994).
MSC公司：68号01
PDF格式BibTeX公司 XML格式引用
\textit{Yu.V.Kapitonova}和\textit{A.A.Letichevskij}，Cybern。系统。分析。30，第6号，793--806（1994；Zbl 0837.68011）；翻译自Kibern。修女。分析。6, 3--20 (1994)
全文： 内政部
谢特林，G.E。；尤先科，E.L。

正式的程序规范和转换合成。 （英语。俄文原件） Zbl 0833.68081号

赛博。系统。分析。 29，第1期，101-120（1993）; 翻译自Kibern。修女。分析。1993年，第1期，127-152（1993）。
MSC公司：60年第68季度 68号01 68瓦30
PDF格式BibTeX公司 XML格式引用
\textit{G.E.Tsejtlin}和\textit{E.L.Yushchenko}，Cybern。系统。分析。29，第1号，101-120（1993；Zbl 0833.68081）；翻译自Kibern。修女。分析。1993年，第1期，127--152（1993）
全文： 内政部
M.I.Gorbatsevich。

关于创建社会发展宏观模型。 （英语。俄文原件） Zbl 0800.90368号

赛博。系统。分析。 29，第4期，556-566（1993）; 翻译自Kibern。修女。分析。1993年，第4期，101-113（1993）。
MSC公司：91B99型
PDF格式BibTeX公司 XML格式引用
\textit{M.I.Gorbatsevich}，Cybern。系统。分析。29，第4号，101--113（1993；Zbl 0800.90368）；翻译自Kibern。修女。分析。1993年，第4期，101--113（1993）
全文： 内政部
利希滕斯坦，N。；卡普兰，S。

FPL：功能加逻辑编程。FP和Prolog语言的集成。 （英语） Zbl 1507.68067号

Kaplan，Stéphane（编辑）等，条件重写和类型重写系统。第二届国际CTRS研讨会，加拿大蒙特利尔，1990年6月11-14日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。516, 287-294 (1991).
MSC公司：68甲15 68N17号 68甲18 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{N.Lichtenstein}和\textit{S.Kaplan}，莱克特。注释计算。科学。516287--294（1991年；Zbl 1507.68067）
全文： 内政部
弗朗索瓦斯·贝勒加德

模化分类乘积理论的匹配过程。 （英语） Zbl 1493.68100号

Kirchner，Hélène（编辑）等人，《代数和逻辑编程》。第二届国际会议，1990年10月1日至3日，法国南希。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。第463270-282页（1990年）。
MSC公司：68号30 18A30型 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{F.Bellegarde}，莱克特。注释计算。科学。463270--282（1990年；Zbl 1493.68100）
全文： 内政部
Drobushevich，G.A.公司。；K.A.祖博维奇。

功能程序的自动验证。 （英语。俄文原件） Zbl 0800.68565号

控制论 26，第4期，491-502（1990）; 译自Kibernetika 1990年，第4期，30-39页（1990年）。
MSC公司：65年第68季度 68号01
PDF格式BibTeX公司 XML格式引用
\textit｛G.A.Drobushevich｝和\textit｛K.A.Zubovich｝，《控制论》26，第4期，491-502（1990年；Zbl 0800.68565）；译自Kibernetika 1990，No.4，30-39（1990）
全文： 内政部
门闩，Dana May；罗恩·西格尔

术语重写系统的局部终止属性。 （英语） Zbl 1503.68129号

Dershowitz，Nachum（编辑），重写技术和应用。第三届国际会议，RTA-89，北卡罗来纳州教堂山，美国，1989年4月3-5日。诉讼程序。柏林等：Springer-Verlag。莱克特。注释计算。科学。355222-233（1989）中所述。
MSC公司：2012年第68季度 68甲18 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{D.M.闩锁}和\textit{R.Sigal}，Lect。注释计算。科学。355、222--233（1989年；Zbl 1503.68129）
全文： 内政部
雷德科，V.N。；新南威尔士州尼基琴科。

程序设计的组成方面。一、。 （英语。俄文原件） 兹伯利0646.68015

控制论 23，第5期，627-637（1987）; 译自Kibernetika 1987，第5期，49-56（1987）。
MSC公司：60年第68季度 68号01
PDF格式BibTeX公司 XML格式引用
\textit{V.N.Red'ko}和\textit{N.S.Nikitchenko}，《控制论》23，第5期，627--637（1987；Zbl 0646.68015）；译自Kibernetika 1987，No.5，49-56（1987）
全文： 内政部

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件