×

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

最新的 引文 关联
雷纳托，瓦斯科尼特斯·维埃拉

通过幂等拟附加识别连接交换代数谱。 （英语） Zbl 1521.55009号

阿尔盖布。地理。白杨。 23，第1号，295-338（2023）.
审核人：朱莉·伯格纳（河畔）
MSC公司：55页第43页 55页48 55页42 55页第47页 55页60 55单位35
PDF格式BibTeX公司 XML格式引用
\textit{R.Vasconsellos Vieira}，阿尔盖布尔。地理。白杨。23，编号1，295--338（2023；Zbl 1521.55009）
全文： 内政部 arXiv公司
OA许可证
克劳斯·迪特·施韦

结构计算。行为理论、逻辑、复杂性。 （英语） Zbl 07495064号

亚历山大·拉施克（编辑）等人，《逻辑、计算和严格方法》。在伊贡·博格尔75岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。12750, 266-282 (2021).
MSC公司：68倍 03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{K.-D.Schewe}，莱克特。注释计算。科学。12750266--282（2021；Zbl 07495064）
全文： 内政部
伊曼纽尔·科维诺;乔瓦尼·帕尼

基于抽象状态机的移动网络协议分析。 （英语） Zbl 07495060号

亚历山大·拉施克（编辑）等人，《逻辑、计算和严格方法》。在伊贡·博格尔75岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。12750, 187-198 (2021).
MSC公司：68倍 03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{E.Covino}和\textit{G.Pani}，莱克特。注释计算。科学。12750、187--198（2021；Zbl 07495060）
全文： 内政部
Makowsky，J.A。

关于计算模型的一些想法：从大规模的人类计算到抽象的状态机，等等。 （英语） Zbl 07495059号

亚历山大·拉施克（编辑）等人，《逻辑、计算和严格方法》。在伊贡·博格尔75岁生日之际，为他撰写的论文。查姆：斯普林格。莱克特。注释计算。科学。12750, 173-186 (2021).
MSC公司：68倍 03年XX月
PDF格式BibTeX公司 XML格式引用
\textit{J.A.Makowsky}，莱克特。注释计算。科学。12750，173--186（2021；Zbl 07495059）
全文： 内政部
吉斯·赫茨（Gijs Heuts）

Goodwillie近似到更高类别。 （英语） Zbl 1479.55001号

美国数学学会回忆录1333.普罗维登斯，RI:美国数学学会（AMS）（ISBN 978-1-4704-4893-6/pbk；978-1-4744-6749-4/电子书）。xi，108页。(2021).
审核人：Marja Kankaanrinta（赫尔辛基）
MSC公司：55-02 55页99 55页第15页 55页48 55便士65 55单位35 55单位40 18N10型 18楼50
PDF格式BibTeX公司 XML格式引用
\textit{G.Heuts}，Goodwillie近似到更高类别。普罗维登斯，RI:美国数学学会（AMS）（2021；Zbl 1479.55001）
全文： 内政部 arXiv公司 链接
加布里埃尔·C·德拉蒙德·科尔。;菲利普·哈克尼

循环算子的Dwyer-Kan同伦理论。 （英语） Zbl 1468.55006号

程序。爱丁堡。数学。社会学，II。序列号。 64，编号1，29-58（2021）.
审核人：Marja Kankaanrinta（赫尔辛基）
MSC公司：55页48 55单位35 18D20天
PDF格式BibTeX公司 XML格式引用
\textit{G.C.Drummond-Cole}和\textit{P.Hackney}，程序。爱丁堡。数学。社会学，II。序列号。64，编号1，29-58（2021；Zbl 1468.55006）
全文： 内政部 arXiv公司
克劳斯·迪特·施韦;弗拉维奥·费拉罗蒂

反射式ASM的逻辑。 （英语） Zbl 1497.68177号

Raschke，Alexander（编辑）等人，《严格的基于状态的方法》。第七届国际会议，ABZ 2020，德国乌尔姆，2020年5月27日至29日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12071, 93-106 (2020).
MSC公司：04年第68季度 03B70型 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{K.-D.Schewe}和\textit{F.Ferrarotti}，莱克特。注释计算。科学。12071，93-106（2020；Zbl 1497.68177）
全文： 内政部
马·戈扎塔·比尔纳卡;Dariusz Biernacki;维托尔德·查拉托尼克;托马斯·德拉布

按值进行强调用的抽象机器。 （英语） Zbl 1476.68047号

Oliveira，Bruno C.d.S.（编辑），《编程语言和系统》。2020年11月30日至12月2日，日本福冈，APLAS 2020第18届亚洲研讨会。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。12470, 147-166 (2020).
MSC公司：68甲18
PDF格式BibTeX公司 XML格式引用
\textit{M.Biernacka}等人，Lect。注释计算。科学。12470、147--166（2020；Zbl 1476.68047）
全文： 内政部 arXiv公司
彼得·邦文特;佩雷拉（Luís A.Pereira）。

等变树状节段空间和\（G\）-\（\infty\）-操纵子。 （英语） Zbl 1476.55044号

阿尔盖布。地理。白杨。 20，第6号，2687-2778（2020）.
审核人：菲利普·哈克尼（拉斐特）
MSC公司：55单位35 55页48 18号70 18纳米40 55页91 55单位10 18号60
PDF格式BibTeX公司 XML格式引用
\textit{P.Bonventre}和\textit{L.A.Pereira}，Algebr。地理。白杨。20，第6号，2687--2778（2020；Zbl 1476.55044）
全文： 内政部 arXiv公司
雨果·赫贝林;埃蒂安·米基

可扩展存储的计算。延续和环境传递风格的翻译。 （英语） Zbl 1498.03031号

2020年第35届ACM/IEEE计算机科学逻辑研讨会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。564-577 (2020).
MSC公司：03B38型 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{H.Herbelin}和\textit{埃米奎}，摘自：2020年第35届ACM/IEEE计算机科学逻辑年会论文集，LICS 2020，虚拟事件，2020年7月8日至11日。纽约州纽约市：计算机协会（ACM）。564--577（2020年；Zbl 1498.03031）
全文： 内政部
马·戈扎塔·比尔纳卡;维托尔德·查拉托尼克

派生抽象机器以根据需要进行强调用。 （英语） Zbl 1528.68058号

Geuvers，Herman（编辑），第四届计算和扣除正式结构国际会议，2019年金融稳定与发展会议，德国多特蒙德，2019，6月24-30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第8条，第20页（2019）。
MSC公司：68甲18 68问题55
PDF格式BibTeX公司 XML格式引用
\textit{M.Biernacka}和\textit{W.Charatonik}，LIPIcs——莱布尼茨国际程序。通知。131，第8条，第20页（2019年；Zbl 1528.68058）
全文： 内政部
贝尼亚米·阿卡托利

重新审视\（\lambda \）-演算。 （英语） Zbl 1528.68054号

Geuvers，Herman（编辑），第四届计算和扣除正式结构国际会议，2019年金融稳定与发展会议，德国多特蒙德，2019，6月24-30日。Wadern：达格斯图尔宫（Schloss Dagstuhl）——莱布尼兹·泽特鲁姆（Leibniz-Zentrum für Informatik）。LIPIcs–莱布尼茨国际程序。通知。131，第1条，第20页（2019年）。
MSC公司：68甲18 03B40型
PDF格式BibTeX公司 XML格式引用
\textit{B.Accattoli}，LIPIcs——莱布尼茨国际程序。通知。131，第1条，第20页（2019年；Zbl 1528.68054）
全文： 内政部
德米特里·巴甫洛夫;雅各布·肖尔巴赫

抽象对称谱中的对称运算。 （英语） Zbl 1503.55006号

J.Inst.数学。朱西厄 18，第4号，707-758（2019）; 勘误表同上18，第5号，第1113页（2019年）。
MSC公司：55页第43页 55页48 18个60毫米 55单位40 55页42 55单位35 18N99型 18D20天 14层42层 14层35 14A20型 14层43
PDF格式BibTeX公司 XML格式引用
\textit{D.Pavlov}和\textit{J.Scholbach}，J.Inst.数学。Jussieu 18，No.4，707--758（2019；Zbl 1503.55006）
全文： 内政部 arXiv公司
佩德罗·博阿维达·德·布里托;杰弗里·霍雷尔;Marcy罗伯逊

亏格零曲线和Grothendieck-Teichmüller群的运算。 （英语） Zbl 1411.18015号

地理。白杨。 23，第1号，299-346（2019）.
审核人：纳吉布·伊德里西（巴黎）
MSC公司：18D50型 14国32 32国集团15 55页48 55单位35
PDF格式BibTeX公司 XML格式引用
\textit{P.Boavida de Brito}等人，Geom。白杨。23，第1号，299--346（2019；Zbl 1411.18015）
全文： 内政部 arXiv公司
Moschovakis，Yiannis N。

抽象递归和内在复杂性。 （英语） Zbl 1412.03004号

逻辑课堂笔记48.剑桥：剑桥大学出版社；纽约州伊萨卡：符号逻辑协会（ASL）（ISBN 978-1-108-41558-3/hbk；978-1-108-13423-8/电子书）。vii，243页。(2019).
审核人：莱昂·哈克勒路（鲍多尼哈姆）
MSC公司：2002年3月 2015年3月15日 03D20日 03日第10天 03D75号 2002年8月 2017年第68季度 65年第68季度 2005年第68季度 68瓦40
PDF格式BibTeX公司 XML格式引用
\textit{Y.N.Moschovakis}，抽象递归和内在复杂性。剑桥：剑桥大学出版社；纽约州伊萨卡：符号逻辑协会（ASL）（2019；Zbl 1412.03004）
全文： 内政部
丹尼尔·希勒斯特罗姆;萨姆·林德利

浅效果处理程序。 （英语） Zbl 1519.68058号

Ryu，Sukyoung（编辑），《编程语言和系统》。第16届亚洲研讨会，APLAS 2018，新西兰惠灵顿，2018年12月2日至6日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11275, 415-435 (2018).
MSC公司：68号30
PDF格式BibTeX公司 XML格式引用
\textit{D.Hillerström}和\textit{S.Lindley}，莱克特。注释计算。科学。11275115-435（2018年；兹比尔1519.68058）
全文： 内政部 链接
克劳斯·迪特·施韦;弗拉维奥·费拉罗蒂;Tec，Loredana公司;王青

分布式自适应系统。理论、规范、推理。 （英语） Zbl 1507.68054号

迈克尔·巴特勒（编辑）等人，《抽象状态机、合金、B、TLA、VDM和Z》，第六届国际会议，2018年ABZ，英国南安普顿，2018年6月5日至8日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10817, 16-30 (2018).
MSC公司：64岁以下 60年第68季度 68问题85
PDF格式BibTeX公司 XML格式引用
\textit{K.-D.Schewe}等人，Lect。注释计算。科学。10817，16-30（2018；Zbl 1507.68054）
全文： 内政部
安德烈亚·布加;尼姆·索拉娜·塔尼亚

使用抽象状态机规范化大规模分布式系统的监视过程。 （英语） Zbl 1461.68035号

Cerone，Antonio（编辑）等人，《软件工程和形式化方法》。2017年SEFM并置研讨会：2017年9月4日至5日，意大利特伦托，DataMod、FAACS、MSE、CoSim-CPS和FOCLASA。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10729, 153-167 (2018).
MSC公司：64岁以下 68米15 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{A.Buga}和\textit{S.T.Nemeș}，莱克特。注释计算。科学。10729153-167（2018；Zbl 1461.68035）
全文： 内政部
亚历山德罗·比安奇;塞巴斯蒂亚诺（Sebastiano）匹兹吉罗（Pizzutilo）;根纳罗·维西奥

MANET中拦截黑洞攻击：基于ASM的模型。 （英语） Zbl 1461.68047号

Cerone，Antonio（编辑）等人，《软件工程和形式化方法》。SEFM 2017同期研讨会：2017年9月4日至5日，意大利特伦托，DataMod、FAACS、MSE、CoSim CPS和FOCLASSA。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。10729, 137-152 (2018).
MSC公司：68平方米5 68个M12
PDF格式BibTeX公司 XML格式引用
\textit{A.Bianchi}等人，Lect。注释计算。科学。10729、137--152（2018；Zbl 1461.68047）
全文： 内政部
波琳娜维诺格拉多瓦;艾米·费尔蒂（Amy P.Felty）。;菲利普·斯科特

形式化抽象可计算性：Coq中的图灵类别。 （英语） Zbl 1433.68585号

Alves，Sandra（编辑）等人，逻辑和语义框架与应用第十二次研讨会论文集（LSFA 2017），巴西巴西利亚，2017年9月23日至24日。阿姆斯特丹：爱思唯尔。电子。注释Theor。计算。科学。338, 203-218 (2018).
MSC公司：68V20型 03日第10天 03D75号 18B99型 04年第68季度 68伏15
PDF格式BibTeX公司 XML格式引用
\textit｛P.Vinogradova｝等人，电子。注释Theor。计算。科学。338203-218（2018；Zbl 1433.68585）
全文： 内政部
威尔默·里奇奥蒂;詹姆斯·切尼

明确审计。 （英语） Zbl 1518.68040号

Fischer，Bernd（ed.）等人，《计算的理论方面——2018年ICTAC》。2018年10月16日至19日，第十五届国际学术讨论会，南非斯特伦博什。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。11187, 376-395 (2018).
MSC公司：68甲18 03B40型 03B42号
PDF格式BibTeX公司 XML格式引用
\textit{W.里奇奥蒂}和\textit{J.切尼}，莱克特。注释计算。科学。11187376--395（2018年；Zbl 1518.68040）
全文： 内政部 arXiv公司 链接
Natsuki Urabe;一郎·哈索

通过函子交替不动点的分类Büchi和奇偶条件。 （英语） Zbl 1519.68148号

科琳娜（Corina）（编辑），《计算机科学中的协同代数方法》（Coalgebraic methods in computer science）。2018年4月14日至15日，第14届IFIP WG 1.3国际研讨会，CMCS 2018，与ETAPS 2018在希腊塞萨洛尼基共同举办。修订了选定的论文。查姆：斯普林格。莱克特。注释计算。科学。11202, 214-234 (2018).
MSC公司：68问题65 18A30型 18B20型 18个C20
PDF格式BibTeX公司 XML格式引用
\textit{N.Urabe}和\textit{I.Hasuo}，莱克特。注释计算。科学。11202、214--234（2018；Zbl 1519.68148）
全文： 内政部 arXiv公司 哈尔
威弗里德·西格

计算的概念是什么？ （英语） Zbl 1509.03024号

Manea，Florin（编辑）等人，《计算世界中的帆船路线》。2018年7月30日至8月3日在德国基尔举行的第14届欧洲可计算性会议，CiE 2018。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10936, 386-396 (2018).
MSC公司：03A05号 03日第10天 03D20日 03D75号
PDF格式BibTeX公司 XML格式引用
\textit{W.Sieg}，莱克特。注释计算。科学。10936386--396（2018年；Zbl 1509.03024）
全文： 内政部
法拉·阿尔沙雷菲;阿列克谢·利西萨;克莱尔·狄克逊

安全关键系统的抽象状态机和系统理论过程分析。 （英语） Zbl 1498.68148号

Cavalhero，Simone（编辑）等人，《形式方法：基础和应用》。2017年11月29日至12月1日在巴西累西腓举行的第20届巴西研讨会，SBMF 2017。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。10623, 15-32 (2017).
MSC公司：60年第68季度 03B44号 04年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{F.Al-Shareefi}等人，Lect。注释计算。科学。10623，15--32（2017；Zbl 1498.68148）
全文： 内政部 链接
马·戈扎塔·比尔纳卡;维托尔德·查拉托尼克;卡拉·杰琳斯卡

广义重聚焦：从混合策略到抽象机器。 （英语） Zbl 1441.68131号

Miller，Dale（编辑），第二届计算和演绎形式结构国际会议。FSCD 2017，英国牛津，2017年9月3-9日。诉讼程序。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。84，第10条，第17页（2017年）。
MSC公司：60年第68季度 68问题55 68伏15
PDF格式BibTeX公司 XML格式引用
\textit{M.Biernacka}等人，LIPIcs——莱布尼茨国际程序。通知。84，第10条，第17页（2017；Zbl 1441.68131）
全文： 内政部
亚历山大·纳普;蒂尔·莫萨科夫斯基

UML交互满足状态机——一种机构方法。 （英语） Zbl 1433.68097号

Bonchi，Filippo（编辑）等人，第七届计算机科学代数和余代数会议，CALCO 2017年6月14日至16日，斯洛文尼亚卢布尔雅那。Wadern：达格斯图尔宫——莱布尼茨Zentrum für Informatik。LIPIcs–莱布尼茨国际程序。通知。72，第15条，第15页（2017年）。
MSC公司：68号30 2010年第68季度 68问题65
PDF格式BibTeX公司 XML格式引用
\textit{A.Knapp}和\textit{T.Mossakowski}，LIPIcs——莱布尼茨国际程序。通知。72，第15条，第15页（2017；Zbl 1433.68097）
全文： 内政部
盛田贤一

可逆计算理论。 （英语） Zbl 1383.68002号

理论计算机科学专著。EATCS系列东京：施普林格出版社（ISBN 978-4-431-566604-5/hbk；978-4-431-566606-9/ebook）。十七、457页。(2017).
审核人：Mark S.Burgin（洛杉矶）
MSC公司：2002年8月 2005年第68季度 2010年第68季度 65年第68季度 68问题80 68瓦01
PDF格式BibTeX公司 XML格式引用
\textit{K.Morita}，可逆计算理论。东京：施普林格（2017；Zbl 1383.68002）
全文： 内政部
拉尔夫·考夫曼。;本杰明·沃德。

费曼分类。 （英语） Zbl 1434.18001号

Astérisque酒店387.巴黎：法国数学学会（SMF）（ISBN 978-2-8529-852-7/pbk）。vii，161页。(2017).
审核人：纳吉布·伊德里西（巴黎）
MSC公司：18-02 18个60毫米 18毫米85英寸 2005年5月18日 55单位35 55页48 18立方厘米 18D20天 18日第25天 81T18型 16时10分 2016年第05期
PDF格式BibTeX公司 XML格式引用
\textit{R.M.考夫曼}和\textit{B.C.沃德}，费曼类别。巴黎：法国数学协会（SMF）（2017；Zbl 1434.18001）
全文： arXiv公司
汤姆·贝松;杰罗姆·杜兰·洛斯

将三速有理信号机精确离散化为元胞自动机。 （英语） Zbl 1365.68336号

Cook，Matthew（编辑）等人，《细胞自动机和离散复杂系统》。第22届IFIP WG 1.5国际研讨会，2016年6月15日至17日，瑞士苏黎世AUTOMATA 2016。诉讼程序。查姆：施普林格（ISBN 978-3-319-39299-8/pbk；978-3-3169-39300-1/电子书）。计算机科学讲座笔记9664，63-76（2016）。
审核人：简·贝滕斯（Gent）
MSC公司：68问题80 37B15号机组 2005年第68季度
PDF格式BibTeX公司 XML格式引用
\textit｛T.Besson｝和\textit｛J.Durand Lose｝，Lect。注释计算。科学。9664、63-76（2016年；Zbl 1365.68336）
全文： 内政部 哈尔
所罗门·费弗曼

关于具体和抽象结构的计算和递归的论文。 （英语） Zbl 1403.03004号

乔瓦尼（编辑）等，《图灵的革命》。他的可计算性思想的影响。查姆：Birkhäuser/Springer（ISBN 978-3-319-22155-7/hbk；978-3-3169-22156-4/电子书）。105-126 (2015).
MSC公司：03-03 03日第10天 03D75号 01A60型
PDF格式BibTeX公司 XML格式引用
\textit{S.Feferman}，in：图灵革命。他关于可计算性的思想的影响。商会：Birkhäuser/施普林格。105-126（2015；Zbl 1403.03004）
全文： 内政部
尼克·苏尔塔纳;克里斯托夫·本兹穆勒;劳伦斯·C·鲍尔森。

证明和重建。 （英语） Zbl 1471.68319号

Lutz，Carsten（编辑）等人，《组合系统的前沿》。第十届国际研讨会，FroCoS 2015，Wrocław，波兰，2015年9月21日至24日。诉讼程序。查姆：斯普林格。莱克特。注释计算。科学。9322, 256-271 (2015).
MSC公司：68伏15 03B16号
PDF格式BibTeX公司 XML格式引用
\textit{N.Sultana}等人，Lect。注释计算。科学。9322256-271（2015；Zbl 1471.68319）
全文： 内政部
帕蒂尔、桑德普;维克托·杜比宁;郑鹏;瓦莱里·维亚特金

通过ASM建模，中和功能块架构的语义歧义。 （英语） Zbl 1434.68036号

Voronkov，Andrei（编辑）等人，《系统信息学的观点》。2014年6月24日至27日，俄罗斯圣彼得堡，第九届国际Ershov信息学会议，PSI 2014。修订了选定的论文。柏林：斯普林格。莱克特。注释计算。科学。8974, 76-91 (2015).
MSC公司：2007年7月68日 64岁以下 68问题55 60年第68季度
PDF格式BibTeX公司 XML格式引用
\textit{S.Patil}等人，Lect。注释计算。科学。8974，76-91（2015；Zbl 1434.68036）
全文： 内政部
Chkliaev博士。;内波尼亚希奇，V.A。
[德米特里·奇克利亚耶夫]

抽象寄存器机器任意大小数组中搜索程序的演绎形式验证。 （英语） Zbl 1374.68276号

Jt.（约）。牛市。NCC IIS，序列号。计算。科学。 37, 71-91 (2014).
MSC公司：60年第68季度 2005年第68季度 68吨15
PDF格式BibTeX公司 XML格式引用
\textit{D.A.Chkliaev}和\textit{V.A.Neponiashchi，Jt。牛市。NCC IIS，序列号。计算。科学。37、71——91（2014年；Zbl 1374.68276）
全文： 链接

筛选结果依据…

文档类型

数据库

全部的 前5名

作者

全部的 前5名

序列号

全部的 前5名

出版年份

全部的 前3名

主字段

传记参考

全部的 前3名

软件