×

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

最新的 引文 关联
Aceto，卢卡;埃利·阿纳斯塔西亚迪;瓦伦蒂娜·卡斯蒂格利奥尼;Anna Ingólfsdóttir

通过约简得到非有限公理化结果：CSP并行组合和CCS限制。 （英语） Zbl 1524.68207号

Jansen，Nils（编辑）等人，《从过程代数到时间自动机到模型学习的旅程》。在弗里茨·瓦德拉格60岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。13560, 1-26 (2022).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，Lect。注释计算。科学。13560，1--26（2022；Zbl 1524.68207）
全文： 内政部
卢卡·埃特罗;瓦伦蒂娜·卡斯蒂格利奥尼;Wan Fokkink公司;Anna Ingólfsdóttir;巴斯·卢提克

获得并行组合的有限公理化是否需要两个二进制运算符？ （英语） Zbl 1508.68239号

ACM事务处理。计算。日志。 23，第4条，第22条，第56页（2022年）.
MSC公司：68问题85 03B70号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，ACM Trans。计算。日志。23，第4号，第22条，56页（2022年；Zbl 1508.68239）
全文： 内政部 arXiv公司 链接
菲利波·邦奇;亚历山德拉·席尔瓦;安娜·索科洛娃

通过凸代数的幂的分布二相似性。 （英语） Zbl 1480.18005号

日志。方法计算。科学。 17，第3号，第10号论文，28页（2021年）.
审核人：Ernst-Erich Doberkat（多特蒙德）
MSC公司：18立方厘米 03B42号 87年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，日志。方法计算。科学。17，第3号，第10号论文，第28页（2021；Zbl 1480.18005）
全文： arXiv公司 链接
瑞克·埃尔肯斯;朱里安·罗特;巴斯·卢提克

分支双相似性的最新技术。 （英语） Zbl 1440.68176号

Chatzigeorgiou，Alexander（编辑）等人，《SOFSEM 2020：计算机科学的理论与实践》。第46届信息学理论和实践当前趋势国际会议，SOFSEM 2020，利马索尔，塞浦路斯，2020年1月20日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12011, 285-297 (2020).
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.Erkens}等人，Lect。注释计算。科学。12011，285--297（2020；Zbl 1440.68176）
全文： 内政部 arXiv公司
菲利波·邦奇;罗宾·皮埃德鲁;巴韦尔·索博辛斯基;法比奥·扎纳西

字符串图的双代数语义。 （英语） Zbl 07649945号

Fokkink，Wan（编辑）等人，第30届并发理论国际会议，CONCUR 2019，荷兰阿姆斯特丹，2019年8月27日至30日。诉讼程序。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。140，第37条，第17页（2019年）。
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{F.Bonchi}等人，LIPIcs——莱布尼茨国际程序。通知。140，第37条，第17页（2019年；Zbl 07649945）
全文： 内政部 arXiv公司
汤姆·赫肖维茨

积极GSOS规范的细胞单体。 （英语） Zbl 07449991号

Pérez，Jorge A.（编辑）等人，第26届并发表达性国际研讨会和第16届结构操作语义研讨会合集，EXPRESS/SOS 2019，荷兰阿姆斯特丹，2019年8月26日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）300,1-18（2019）。
MSC公司：68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{T.Hirschowitz}，电子。程序。西奥。计算。科学。（EPTCS）300，1-18（2019；Zbl 07449991）
全文： arXiv公司 链接
朱里安·罗特

单调规范的分布律。 （英语） Zbl 1483.68182号

Peters，Kirstin（编辑）等人，《第24届并发表达性国际研讨会和第14届结构操作语义研讨会联合会议论文集》，EXPRESS/SOS 2017，德国柏林，2017年9月4日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）25583-97（2017年）。
MSC公司：68问题55 18立方厘米 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{J.Rot}，电子。程序。西奥。计算。科学。（EPTCS）255，83--97（2017；Zbl 1483.68182）
全文： arXiv公司 链接
佛罗里达州福金克;罗布·范格拉贝克;巴斯·卢提克

分而治之。三： 稳定性和发散性。 （英语） Zbl 1442.68139号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第15条，第16页（2017年）。
MSC公司：68问题85 03B45号 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{W.Fokkink}等人，LIPIcs——莱布尼茨国际程序。通知。85，第15条，第16页（2017年；Zbl 1442.68139）
全文： 内政部
阿德里安·杜里埃;丹尼尔·赫希科夫;戴维·桑吉奥吉

方程的发散性和唯一解。 （英语） Zbl 1442.68135号

Meyer，Roland（编辑）等人，第28届并发理论国际会议。2017年CONCUR，德国柏林，2017年9月5-8日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。85，第11条，第16页（2017年）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{A.Durier}等人，LIPIcs——莱布尼茨国际程序。通知。85，第11条，第16页（2017年；Zbl 1442.68135）
全文： 内政部
拉诺特、拉格罗;马西莫·梅罗;西蒙·蒂尼

组密钥更新的组合弱度量。 （英语） Zbl 1441.68146号

Larsen，Kim G.（编辑）等人，第42届计算机科学数学基础国际研讨会，2017年8月21日至25日，丹麦奥尔堡，MFCS 2017。Wadern：Schloss Dagstuhl–Leibniz Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。83，第72条，第16页（2017年）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{R.Lanotte}等人，LIPIcs——莱布尼茨国际程序。通知。83，第72条，第16页（2017年；Zbl 1441.68146）
全文： 内政部
卢卡·埃特罗;伊格纳西奥·法布雷加斯;卡洛斯·格雷戈里奥·罗德里格斯;Anna Ingólfsdóttir

输入输出一致性模拟的逻辑特征和组成。 （英语） Zbl 1433.68090号

Steffen，Bernhard（编辑）等人，SOFSEM 2017：计算机科学的理论与实践。第43届计算机科学理论与实践当前趋势国际会议，爱尔兰利默里克，2017年1月16日至20日，会议记录。查姆：斯普林格。莱克特。注释计算。科学。10139, 37-48 (2017).
MSC公司：68号30 03B45号 03B70号 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，Lect。注释计算。科学。10139，37-48（2017；Zbl 1433.68090）
全文： 内政部
佩德罗·R·达吉尼奥。;Lee，Matias大卫;丹尼尔·格布勒

凸概率和抽象概率互模拟的SOS规则格式。 （英语） Zbl 1476.68170号

Crafa，Silvia（ed.）等人，《第22届并发表达性国际研讨会和第12届结构操作语义国际研讨会论文集》，EXPRESS/SOS 2015，西班牙马德里，2015年8月31日。滑铁卢：开放出版协会（OPA）。电子。程序。西奥。计算。科学。（EPTCS）190，31-45（2015）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{P.R.D'Argenio}等人，《电子》。程序。西奥。计算。科学。（EPTCS）190，31-45（2015；Zbl 1476.68170）
全文： arXiv公司 链接
斯梅特泽斯，沙克;肯·马德勒;马克·范·埃克伦

在PVS 6.0中形式化双代数语义。 （英语） Zbl 1428.68179号

Chiba，Yuki（ed.）等人，第二次程序转换和评估重写技术国际研讨会，WPTE’15，波兰华沙，2015年7月2日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。OASIcs–OpenAccess服务器。通知。46, 47-61 (2015).
MSC公司：68问题55 68号30 68V20型
PDF格式BibTeX公司 XML格式引用
\textit{S.Smetsers}等人，OASIcs--OpenAccess服务器。通知。46、47-61（2015年；Zbl 1428.68179）
全文： 内政部
朱里安·罗特;菲利波·邦奇;马塞洛·邦桑格;Damien Pous;Rutten，一月;亚历山德拉·席尔瓦

增强的协同脑互模拟。 （英语） Zbl 1380.68300号

数学。结构。计算。科学。 27，第7期，1236-1264（2017）.
审核人：艾哈迈特·库萨诺夫（Komsomolsk-om-Amur）
MSC公司：68问题85 18B20型 18立方厘米 18 C50 68问题55 70年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{J.Rot}等人，数学。结构。计算。科学。27，第7号，1236--1264（2015；Zbl 1380.68300）
全文： 内政部
A.W.罗斯科。

具有优先级的CSP的表达能力。 （英语） Zbl 1351.68148号

Dan Ghica（编辑），第31届编程语义数学基础会议论文集（MFPS XXXI），荷兰奈梅亨，2015年6月22日至25日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记319387-401，仅电子版（2015）。
MSC公司：68问题55 2010年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.W.Roscoe}，电子。注释Theor。计算。科学。319387——401（2015年；Zbl 1351.68148）
全文： 内政部
丙酮，L。;黛拉·莫妮卡，D。;Fábregas，I。;Ingólfsdóttir，A。

素数公式的特征是什么时候？ （英语） Zbl 1425.68245号

Italiano，F.（ed.）等人，《2015年计算机科学数学基础》。第40届国际研讨会，2015年MFCS，意大利米兰，2015年8月24-28日。诉讼程序。第一部分柏林：施普林格。莱克特。注释计算。科学。9234, 76-88 (2015).
MSC公司：60年第68季度 03B45号 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，Lect。注释计算。科学。9234，76-88（2015；Zbl 1425.68245）
全文： 内政部 链接
彼得·莫塞斯（Peter D.Mosses）。;费迪南德·维斯利

弱互模拟作为MSOS中的同余。 （英语） Zbl 1321.68363号

Martí-Oliet，Narciso（编辑）等人，《逻辑、重写和并发》。纪念何塞·梅塞盖尔65岁生日的文章。查姆：施普林格（ISBN 978-3-319-23164-8/pbk；978-3-3169-23165-5/电子书）。《计算机科学讲义》9200，519-538（2015）。
MSC公司：68问题85 68号30 2012年第68季度 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{P.D.Mosses}和\textit{F.Vesely}，莱克特。注释计算。科学。9200、519--538（2015年；Zbl 1321.68363）
全文： 内政部
斯特凡·米利厄斯;马塞洛·M·邦桑格。;罗伯特·迈尔斯。;朱里安·罗特

合理的运营模式。 （英语） Zbl 1334.68137号

Kozen，Dexter（ed.）等人，第29届编程语义数学基础会议论文集（MFPS XXIX），美国洛杉矶新奥尔良，2013年6月。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记298257-282（2013）。
MSC公司：68问题65 65年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Milius}等人，《电子》。注释Theor。计算。科学。298257-282（2013年；Zbl 1334.68137）
全文： 内政部
卢卡·埃特罗;戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯;Anna Ingólfsdóttir

BCCSP上弱完全模拟语义的等式理论。 （英语） Zbl 1298.68161号

Bieliková，Mária（编辑）等人，SOFSEM 2012：计算机科学的理论与实践。2012年1月21日至27日，第38届计算机科学理论与实践当前趋势会议，Špindlerův Ml \367]n，捷克共和国。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-27659-0/pbk）。计算机科学课堂讲稿7147141-152（2012）。
MSC公司：68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，Lect。注释计算。科学。7147、141--152（2012年；Zbl 1298.68161）
全文： 内政部
安娜·保拉·马尔多纳多;路易斯·蒙泰罗;马库斯·罗根巴赫

线性时间分支时间谱的双代数语义。 （英语） Zbl 1312.68128号

Mossakowski，Till（编辑）等人，代数开发技术的最新趋势。2010年7月1日至4日，第20届WADT国际研讨会，德国埃特森。修订了选定的论文。柏林：施普林格出版社（ISBN 978-3-642-28411-3/pbk）。计算机科学课堂讲稿7137209-225（2012）。
MSC公司：68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{A.P.Maldonado}等人，Lect。注释计算。科学。7137209-225（2012；Zbl 1312.68128）
全文： 内政部
卢卡·埃特罗;戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯;安娜·英格尔夫斯多蒂

完整和现成的模拟语义并不是基于BCCSP的有限性，即使使用单一字母表也是如此。 （英语） Zbl 1260.68252号

信息处理。莱特。 111，编号9，408-413（2011）.
MSC公司：68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，《Inf.过程》。莱特。111，编号9，408--413（2011；Zbl 1260.68252）
全文： 内政部
卢卡·埃特罗;戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯;安娜·英格尔夫斯多蒂

对BCCSP上的弱就绪模拟语义进行公理化。 （英语） Zbl 1351.68177号

Cerone，Antonio（编辑）等人，《计算的理论方面——ICTAC 2011》。第八届国际学术讨论会，南非约翰内斯堡，2011年8月31日至9月2日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-23282-4/pbk）。计算机科学课堂讲稿6916，7-24（2011）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，Lect。注释计算。科学。6916，7--24（2011；Zbl 1351.68177）
全文： 内政部
卢卡·埃特罗;Cimini，马泰奥;安娜·英格尔夫斯多蒂;穆罕默德·雷扎·穆萨维;米歇尔·雷尼尔斯。

零元素和单位元素的规则格式。 （英语） Zbl 1342.68189号

Mislove，Michael（ed.）等人，《第26届编程语义数学基础会议论文集》（MFPS 2010），加拿大渥太华，2010年5月6日至10日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记265145-160（2010）。
MSC公司：68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{L.Aceto}等人，《电子》。注释Theor。计算。科学。265145-160（2010年；Zbl 1342.68189）
全文： 内政部
Klin，巴特克

结构操作语义和模态逻辑，重温。 （英语） Zbl 1247.68154号

Jacobs，B.（ed.）等人，第十届计算机科学联合算法研讨会论文集（CMCS 2010）。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》264，第2期，155-175（2010）。
MSC公司：68问题55 03B45号 03G30型
PDF格式BibTeX公司 XML格式引用
\textit{B.Klin}，电子。注释Theor。计算。科学。264，第2号，155--175（2010；Zbl 1247.68154）
全文： 内政部
哈拉尔德·费彻;哈，迈克尔;海科·施密特;Jens Schönborn

使用持久选择细化状态机的敏感形式语义。 （英语） Zbl 1339.68158号

Michael Goldsmith（编辑）等人，《关键系统自动验证第七届国际研讨会论文集》（AVoCS 2007），英国牛津，2007年9月10日至12日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记250，第1期，71-86（2009）。
MSC公司：68问题55 2005年第68季度 2010年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Fecher}等人，《电子》。注释Theor。计算。科学。250，编号1，71--86（2009；Zbl 1339.68158）
全文： 内政部
伊格纳西奥·法布雷加斯;戴维·德·弗鲁托斯·埃斯克里格;米盖尔·帕洛米诺

非稳定阶也定义了有趣的模拟关系。 （英语） Zbl 1239.68051号

亚历山大·库兹（编辑）等人，《计算机科学中的代数和余代数》。第三届国际会议，2009年CALCO，意大利乌迪内，2009年9月7日至10日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-642-03740-5/pbk）。计算机科学课堂讲稿5728221-235（2009）。
MSC公司：68问题85 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{I.Fábregas}等人，Lect。注释计算。科学。5728221--235（2009年；Zbl 1239.68051）
全文： 内政部 链接
Klin，巴特克

加权转换系统的结构操作语义。 （英语） Zbl 1253.68214号

Palsberg，Jens（编辑），语义和代数规范。在彼得·D·摩斯60岁生日之际为他撰写的论文。柏林：施普林格出版社（ISBN 978-3-642-04163-1/pbk）。计算机科学课堂讲稿5700，121-139（2009）。
MSC公司：68问题55 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{B.Klin}，莱克特。注释计算。科学。5700、121--139（2009年；Zbl 1253.68214）
全文： 内政部
戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯;米盖尔·帕洛米诺

共性特征揭示了预订单和等价物之间的良好关系。 （英语） 兹比尔1286.68350

Chen，Yixiang（编辑）等，《第一届信息学、计算与软件基础国际会议论文集》（FICS 2008），华东师范大学，中国上海，2008年6月3-6日。阿姆斯特丹：爱思唯尔。理论计算机科学电子笔记212149-162（2008）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{D.De Frutos Escrig}等人，《电子》。注释Theor。计算。科学。212149-162（2008年；Zbl 1286.68350）
全文： 内政部
马雷克·索尔文;吉勒拉克，罗马人

带有谓词的自然量子操作语义。 （英语） Zbl 1200.68118号

国际期刊申请。数学。计算。科学。 第341-359号第18页（2008年）.
MSC公司：2005年第68季度 68号30 2010年第68季度 68问题55 81页68
PDF格式BibTeX公司 XML格式引用
\textit｛M.Sawerwain｝和\textit｛R.Gielerak｝，国际应用杂志。数学。计算。科学。18，第3号，341--359（2008；Zbl 1200.68118）
全文： 内政部 欧洲DML
罗布·范格拉贝克;贝斯·普洛格

修正了一种节省空间的模拟算法。 （英语） Zbl 1155.68450号

Gupta，Aarti（编辑）等人，《计算机辅助验证》。第20届国际会议，CAV 2008，美国新泽西州普林斯顿，2008年7月7日至14日。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-70543-7/pbk）。计算机科学课堂讲稿5123517-529（2008）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{R.van Glabbeek}和\textit{B.Ploeger}，莱克特。注释计算。科学。5123、517--529（2008；Zbl 1155.68450）
全文： 内政部
哈拉尔费彻;海科·施密特

进程代数具有内在的选择：修改了并发系统的语义。 （英语） Zbl 1278.68142号

van Glabbeek，Rob（编辑）等人，《结构操作语义第四次研讨会论文集》（SOS 2007），波兰弗罗茨瓦夫，2007年7月9日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》192，第1期，45-60（2007）。
MSC公司：68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{H.Fecher}和\textit{H.Schmidt}，电子。注释Theor。计算。科学。192，第1号，45-60（2007；Zbl 1278.68142）
全文： 内政部
戴维·德·弗鲁托斯·埃斯克里格;卡洛斯·格雷戈里奥·罗德里格斯

模拟最新和规范的预订单（扩展抽象）。 （英语） Zbl 1278.68148号

van Glabbek，Rob（ed.）等人，《结构操作语义第四次研讨会论文集》（SOS 2007），波兰弗罗茨瓦夫，2007年7月9日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》192，第1期，13-28（2007）。
MSC公司：68问题55 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{D.de Frutos Escrig}和\textit{C.G.Rodríguez}，电子。注释Theor。计算。科学。192，编号1，13--28（2007；Zbl 1278.68148）
全文： 内政部
Klin，巴特克

结构操作语义中的双代数方法（特邀演讲）。 （英语） Zbl 1277.68122号

van Glabbeek，R.（ed.）等人，《结构操作语义第三次研讨会论文集》（SOS 2006），德国波恩，2006年8月26日。阿姆斯特丹：爱思唯尔。《理论计算机科学电子笔记》175，第1期，33-43（2007）。
MSC公司：68问题55 03B45号 03G30型 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{B.Klin}，电子。注释Theor。计算。科学。175，编号1，33-43（2007；Zbl 1277.68122）
全文： 内政部
戴维·德·弗鲁托斯·埃斯克里格;费尔南多·罗莎·维拉尔多;卡洛斯·格雷戈里奥·罗德里格斯

分布式系统的新互模拟语义。 （英语） Zbl 1215.68161号

Derrick，John（ed.）等人，《网络和分布式系统的形式化技术——FORTE 2007》。2007年6月27日至29日在爱沙尼亚塔林举行的第27届IFIP工作组6.1国际会议。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-73195-5/pbk）。计算机科学课堂讲稿4574143-159（2007）。
MSC公司：68问题85 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{D.de Frutos-Escrig}等人，Lect。注释计算。科学。4574、143--159（2007；Zbl 1215.68161）
全文： 内政部
苏米特·奈恩;莫舍·瓦尔迪。

分支与线性时间：语义视角。 （英语） Zbl 1141.68481号

Namjoshi，Kedar S.（编辑）等人，《验证和分析自动化技术》。2007年10月22日至25日，第五届国际研讨会，ATVA 2007，日本东京。诉讼程序。柏林：施普林格出版社（ISBN 978-3-540-75595-1/pbk）。计算机科学课堂讲稿4762，19-34（2007）。
MSC公司：60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{S.Nain}和\textit{M.Y.Vardi}，莱克特。注释计算。科学。4762、19-34（2007年；Zbl 1141.68481）
全文： 内政部 链接

筛选结果依据…

文档类型

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

全部的 前3名

软件