×

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

最新 引文 关联
迪克·德·乔恩;阿娜·露西亚，瓦尔加斯·桑多瓦尔

具有正数据和完整数据的有限识别。 （英语） Zbl 1525.68067号

Silva，Alexandra（编辑）等人，《语言、逻辑和计算》。第十二届第比利斯国际研讨会，2017年TbiLLC，格鲁吉亚拉戈德基，2017年9月18日至22日，修订选定论文。柏林：斯普林格。莱克特。注释计算。科学。11456, 42-63 (2018).
MSC公司：第68季度32 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.de Jongh}和\textit{A.L.Vargas Sandoval}，Lect。注释计算。科学。11456，42-63（2018；Zbl 1525.68067）
全文： 内政部
弗拉维奥·达莱桑德罗;奥斯卡·H·伊巴拉。;伊恩·麦克奎伦

关于有限索引索引文法及其限制。 （英语） Zbl 1485.68127号

Drewes，Frank（编辑）等人，《语言和自动机理论与应用》。2017年3月6日至9日在瑞典乌梅奥举行的2017年拉丁美洲旅游协会第11届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10168, 287-298 (2017).
MSC公司：2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.D'Alessandro}等人，Lect。注释计算。科学。10168287-298（2017年；兹比尔1485.68127）
全文： 内政部 arXiv公司
塞维琳·弗拉塔尼;艾尔·马基·冯迪

索引语言的同态特征。 （英语） Zbl 1443.68106号

Dediu，Adrian-Horia（编辑）等人，《语言和自动机理论与应用》。2016年3月14日至18日在捷克共和国布拉格举行的2016年拉丁美洲旅游协会第十届国际会议。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9618, 359-370 (2016).
MSC公司：70年第68季度 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Fratani}和\textit{E.M.Voundy}，莱克特。注释计算。科学。9618，359--370（2016；Zbl 1443.68106）
全文： 内政部 哈尔
托马斯·彼得里切克;多米尼克·乌节;艾伦·麦克罗夫特

系数：上下文相关计算的演算。 （英语） Zbl 1345.68069号

2014年9月1日至3日在瑞典哥德堡举行的第19届ACM SIGPLAN功能编程国际会议记录，ICFP’14。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-2873-9）。123-135 (2014).
MSC公司：68甲18 18 C50
PDF格式BibTeX公司 XML格式引用
\textit{T.Petricek}等人，《第19届ACM SIGPLAN函数编程国际会议论文集》，ICFP’14，瑞典哥德堡，2014年9月1日至3日。纽约州纽约市：计算机机械协会（ACM）。123-135（2014；Zbl 1345.68069）
全文： 内政部
安基永;蒂姆·谢尔德;马塞洛·菲奥雷;安德鲁·皮特斯（Andrew M.Pitts）。

系统\（\mathrm F_{i}\）。具有可擦除项诱导的高阶多态（lambda）演算。 （英语） Zbl 1381.68044号

长谷川，Masahito（编辑），键入lambda calculi和应用。2013年6月26日至28日在荷兰埃因霍温举行的2013年TLCA第11届国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-38945-0/pbk）。计算机科学讲座笔记7941，15-30（2013）。
MSC公司：68号30 03B40型 68甲15 68甲18 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{K.Y.Ahn}等人，Lect。注释计算。科学。7941，15-30（2013年；兹bl 1381.68044）
全文： 内政部
拉尔斯·比克达尔;莫格尔贝里，拉斯穆斯·埃杰勒斯;施温哈默（Jan Schwinghammer）;克里斯蒂安·斯特夫林

合成保护域理论的第一步：树拓扑的阶跃诱导。 （英语） Zbl 1269.03035号

日志。方法计算。科学。 8，第4号，第1号文件，第45页（2012年）.
MSC公司：03B70号 03G30型 18对25 68号30 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{L.Birkedal}等人，日志。方法计算。科学。8，第4号，第1号论文，45页（2012；Zbl 1269.03035）
全文： 内政部 arXiv公司
拉尔斯·比克达尔;罗伊斯，伯恩哈德;施温哈默（Jan Schwinghammer）;克里斯蒂安·斯托夫林;雅各布·塔姆斯堡;杨红seok

递归世界上的阶跃Kripke模型。 （英语） Zbl 1284.68102号

2011年1月26日至28日，美国德克萨斯州奥斯汀，POPL'11，第38届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-4503-0490-0）。119-132 (2011).
MSC公司：第68页第15页 03B70号 68号30 68问题55 54E35个
PDF格式BibTeX公司 XML格式引用
\textit{L.Birkedal}等人，in：第38届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'11，美国德克萨斯州奥斯汀，2011年1月26日至28日。纽约州纽约市：计算机机械协会（ACM）。119-132（2011年；Zbl 1284.68102）
全文： 内政部 链接
迪迪埃·科卡尔;特奥多尔·科纳皮克

高阶指数一元系统。 （英语） Zbl 1246.68141号

Chakraborthy，Supraik（编辑）等人，IARCS软件技术和理论计算机科学基础年会（FSTTCS 2011），印度孟买，2011年12月12-14日。瓦登：达格斯图尔宫-莱布尼茨天顶宫（ISBN 978-3-939897-34-7）。LIPIcs–莱布尼茨国际信息学会议录13，469-480，仅电子版（2011年）。
MSC公司：65年第68季度 05年3月 2012年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{D.Caucal}和\textit{T.Knapik}，LIPIcs——莱布尼茨国际程序。通知。13、469--480（2011；Zbl 1246.68141）
全文： 内政部
阿马尔·艾哈迈德;德雷尔，德里克;安德烈亚斯·罗斯伯格

依赖于州的表示独立性。 （英语） Zbl 1315.68080号

2009年1月18日至24日，美国佐治亚州萨凡纳，POPL'09，第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-60558-379-2）。340-353 (2009).
MSC公司：68号30 68甲15 68甲19 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{A.Ahmed}等人，in：第36届ACM SIGPLAN-SIGACT编程语言原理年度研讨会论文集，POPL'09，佐治亚州萨凡纳，美国，2009年1月18-24日。纽约州纽约市：计算机机械协会（ACM）。340-353（2009年；Zbl 1315.68080）
全文： 内政部 链接
阿马尔·艾哈迈德;马蒂亚斯·布鲁姆

类型闭合转换保留了观测等效性。 （英语） Zbl 1323.68350号

2008年9月20日至28日，加拿大不列颠哥伦比亚省维多利亚市，第13届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-919-7）。ACM SIGPLAN通知43，第9号，157-168（2008）。
MSC公司：68问题55 68甲15 68甲18 68N20型
PDF格式BibTeX公司 XML格式引用
\textit{A.Ahmed}和\textit{M.Blume}，in：第13届ACM SIGPLAN函数式编程国际会议论文集，ICFP'08，加拿大不列颠哥伦比亚省维多利亚市，2008年9月20-28日。纽约州纽约市：计算机机械协会（ACM）。157--168（2008年；Zbl 1323.68350）
全文： 内政部
阿卡尔（Umut A.Acar）。;阿马尔·艾哈迈德;马蒂亚斯·布鲁姆

强制自调整计算。 （英语） 兹比尔1295.68075

第35届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2008年1月7日至12日，美国加利福尼亚州旧金山，POPL'08。纽约州纽约市：计算机协会（ACM）（ISBN 978-1-59593-689-9）。309-322 (2008).
MSC公司：68号30 68甲15 68甲18 68问题55 68兰特 68吨15
PDF格式BibTeX公司 XML格式引用
\textit｛U.A.Acar｝等人，载于：第35届ACM SIGPLAN-SIGCT编程语言原理研讨会论文集，POPL’08，美国加利福尼亚州旧金山，2008年1月7日至12日。纽约州纽约市：计算机机械协会（ACM）。309--322（2008年；Zbl 1295.68075）
全文： 内政部
Manuel M.T.查克拉瓦蒂。;加布里埃尔·凯勒;西蒙·佩顿·琼斯;西蒙·马洛

与类关联的类型。 （英语） Zbl 1369.68089号

第32届ACM SIGPLAN-SIGACT编程语言原理研讨会会议记录，2005年1月12日至14日，美国加利福尼亚州长滩，POPL'05。纽约州纽约市：计算机协会（ACM）（ISBN 1-58113-830-X）。1-13（2005年）。
MSC公司：68甲18 68甲15
PDF格式BibTeX公司 XML格式引用
\textit{M.M.T.Chakravarty}等人，in：第32届ACM SIGPLAN-SIGACT编程语言原理研讨会论文集，POPL'05，美国加利福尼亚州长滩，2005年1月12-14日。纽约州纽约市：计算机机械协会（ACM）。1-13（2005年；Zbl 1369.68089）
全文： 内政部
阿马尔·艾哈迈德;马修·弗莱特;格雷格·莫里塞特

子结构状态的阶跃诱导模型。 （英语） Zbl 1302.68048号

2005年9月26日至28日，爱沙尼亚塔林，ICFP'05，第十届ACM SIGPLAN功能编程国际会议记录。纽约州纽约市：计算机协会（ACM）（ISBN 1-59593-064-7）。ACM SIGPLAN Notices 40，No.9，78-91（2005）。
MSC公司：68甲15 68甲18
PDF格式BibTeX公司 XML格式引用
\textit{A.Ahmed}等人，in：第十届ACM SIGPLAN函数式编程国际会议论文集，ICFP'05，爱沙尼亚塔林，2005年9月26-28日。纽约州纽约市：计算机机械协会（ACM）。78-91（2005；Zbl 1302.68048）
全文： 内政部 链接
克里斯蒂安·沃特纳

具有复合存储的语法。 （英语） Zbl 0979.03032号

Michael Moortgat（编辑），计算语言学的逻辑方面。1998年12月14日至16日在法国格勒诺布尔举行的1998年LACL第三届国际会议。精选论文。柏林：斯普林格。莱克特。注释计算。科学。2014, 266-285 (2001).
MSC公司：03B65号 91层20 68T50型 2012年第68季度 65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{C.Wartena}，莱克特。注释计算。科学。2014年，266-285（2001年；兹bl 0979.03032）
凯斯，约翰;桑杰·贾恩

综合学习者容忍可计算的噪音数据。 （英语） Zbl 0928.03052号

Richter，Michael M.（编辑）等人，算法学习理论。第九届国际会议，ALT’98，德国奥岑豪森，1998年10月8-10日。诉讼程序。柏林：斯普林格。莱克特。注释计算。科学。1501, 205-219 (1998).
MSC公司：03天80 第68季度32 65年第68季度 68T05型 94A99型
PDF格式BibTeX公司 XML格式引用
\textit{J.Case}和\textit{S.Jain}，莱克特。注释计算。科学。1501205-219（1998年；Zbl 0928.03052）
利索维克，L.P。

索引语言的确定性接受词。 （英语。俄文原件） Zbl 0917.68122号

赛博。系统。分析。 33，第4期，540-549（1997）; 翻译自Kibern。修女。分析。1997年，第4期，100-114（1997）。
MSC公司：65年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.P.Lisovik}，Cybern。系统。分析。33，第4号，540--549（1997；Zbl 0917.68122）；翻译自Kibern。修女。分析。1997年，第4100-114号（1997年）
全文： 内政部
马丁·布里德森。;罗伯特·H·吉尔曼。

形式语言理论和3流形几何。 （英语） Zbl 0873.20026号

注释。数学。Helv公司。 71，第4255-555号（1996年）.
审核人：D.McCullough（诺曼）
MSC公司：20英尺65英寸 2007年7月57日 65年第68季度 20F05型 20楼34 2010年1月20日 20立方米 57M50型 05年5月57日 2018年1月20日
PDF格式BibTeX公司 XML格式引用
\textit{M.R.Bridson}和\textit{R.H.Gilman}，评论。数学。Helv公司。71，第4号，525--555（1996；Zbl 0873.20026）
全文： 内政部 欧洲DML
海兰德，J.M.E。;Ong，C.-H.L.公司。

改进的可实现拓扑和强规范化证明。 （英语） Zbl 0793.03079号

Bezem，Marc（编辑）等人，《类型化Lambda结石及其应用》。1993年3月16日至18日在荷兰乌得勒支举行的1993年TLCA国际会议。诉讼程序。柏林：Springer-Verlag。莱克特。注释计算。科学。664, 179-194 (1993).
审核人：P.T.Johnstone（剑桥）
MSC公司：03G30型 03B40型 18对25 65年第68季度 03B15号机组
PDF格式BibTeX公司 XML格式引用
\textit{J.M.E.Hyland}和\textit{C.H.L.Ong}，Lect。注释计算。科学。664179--194（1993；Zbl 0793.03079）
斯科特·罗伯特·拉德

C++组件和算法。在C++中设计和实现算法的综合参考。 （英语） Zbl 0830.68018号

加利福尼亚州圣马特奥：M&T图书（ISBN 0-13-118217-X/pbk）。xv，779页。(1992).
审核人：A.V.阿尼西莫夫（基辅）
MSC公司：68甲15 68-02 68宽10
PDF格式BibTeX公司 XML格式引用
\textit{S.R.Ladd}，C++组件和算法。在C++中设计和实现算法的综合参考。加利福尼亚州圣马特奥：M\&T Books（1992；Zbl 0830.68018）
当事人，芭芭拉;爱丽丝·特默伦;罗伯特·E·沃尔（Robert E.Wall）。

语言学中的数学方法。 （英语） Zbl 0722.68089号

语言学和哲学研究, 30. Dordrecht等：Kluwer学术出版社。xx，663 p.英国国防部。225.00; $ 99.00；£79.00 (1990).
审核人：N.Curteanu（伊阿什）
MSC公司：68T50型 03B65号 68-02
PDF格式BibTeX公司 XML格式引用
\textit｛B.Partee｝等人，《语言学中的数学方法》。Dordrecht等：Kluwer学术出版社（1990；Zbl 0722.68089）
布哈拉耶夫（R.G.Bukharaev）。;I.R.纳西罗夫。

结构自动机。 （英语。俄文原件） 兹伯利0562.68037

苏联。数学。 28，第3期，14-21（1984）; Izv的翻译。维什。乌切布。扎韦德。，材料1984，第3号（262），12-18（1984）。
审核人：I.佩克
MSC公司：65年第68季度 20立方米
PDF格式BibTeX公司 XML格式引用
\textit{R.G.Bukharaev}和\textit{I.R.Nasyrov}，苏联。数学。28，第3号，14--21（1984；Zbl 0562.68037）；Izv的翻译。维什。乌切布。扎韦德。，材料1984，第3号（262），12-18号（1984）

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件