发布求助
文献互助 智能选刊 最新文献

Machines, Computations, and Universality最新文献

筛选
英文 中文
Decidability Problems for Self-induced Systems Generated by a Substitution 由替换生成的自诱导系统的可决性问题
Machines, Computations, and Universality Pub Date : 2015-09-09 DOI: 10.1007/978-3-319-23111-2_1
Timo Jolivet, A. Siegel
{"title":"Decidability Problems for Self-induced Systems Generated by a Substitution","authors":"Timo Jolivet, A. Siegel","doi":"10.1007/978-3-319-23111-2_1","DOIUrl":"https://doi.org/10.1007/978-3-319-23111-2_1","url":null,"abstract":"","PeriodicalId":340847,"journal":{"name":"Machines, Computations, and Universality","volume":"103 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"127141800","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Universality of Graph-controlled Leftist Insertion-deletion Systems with Two States 两态图控左插入-删除系统的普适性
Machines, Computations, and Universality Pub Date : 2015-09-09 DOI: 10.1007/978-3-319-23111-2_6
Sergiu Ivanov, Sergey Verlan
{"title":"Universality of Graph-controlled Leftist Insertion-deletion Systems with Two States","authors":"Sergiu Ivanov, Sergey Verlan","doi":"10.1007/978-3-319-23111-2_6","DOIUrl":"https://doi.org/10.1007/978-3-319-23111-2_6","url":null,"abstract":"","PeriodicalId":340847,"journal":{"name":"Machines, Computations, and Universality","volume":"13 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131852804","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 8
Universality in Infinite Petri Nets 无限Petri网的普遍性
Machines, Computations, and Universality Pub Date : 2015-09-09 DOI: 10.1007/978-3-319-23111-2_12
D. Zaitsev
{"title":"Universality in Infinite Petri Nets","authors":"D. Zaitsev","doi":"10.1007/978-3-319-23111-2_12","DOIUrl":"https://doi.org/10.1007/978-3-319-23111-2_12","url":null,"abstract":"","PeriodicalId":340847,"journal":{"name":"Machines, Computations, and Universality","volume":"75 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"124617094","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 9
The Simulation Powers and Limitations of Hierarchical Self-Assembly Systems 层次自组装系统的仿真能力与局限性
Machines, Computations, and Universality Pub Date : 2015-09-09 DOI: 10.1007/978-3-319-23111-2_10
Jacob Hendricks, Matthew J. Patitz, T. Rogers
{"title":"The Simulation Powers and Limitations of Hierarchical Self-Assembly Systems","authors":"Jacob Hendricks, Matthew J. Patitz, T. Rogers","doi":"10.1007/978-3-319-23111-2_10","DOIUrl":"https://doi.org/10.1007/978-3-319-23111-2_10","url":null,"abstract":"","PeriodicalId":340847,"journal":{"name":"Machines, Computations, and Universality","volume":"29 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134174242","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
An Intrinsically Universal Family of Causal Graph Dynamics 内在普遍的因果图动力学族
Machines, Computations, and Universality Pub Date : 2015-09-09 DOI: 10.1007/978-3-319-23111-2_9
S. Martiel, Bruno Martin
{"title":"An Intrinsically Universal Family of Causal Graph Dynamics","authors":"S. Martiel, Bruno Martin","doi":"10.1007/978-3-319-23111-2_9","DOIUrl":"https://doi.org/10.1007/978-3-319-23111-2_9","url":null,"abstract":"","PeriodicalId":340847,"journal":{"name":"Machines, Computations, and Universality","volume":"42 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"114336403","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
A Connection Between Red-Green Turing Machines and Watson-Crick T0L Systems 红绿图灵机与沃森-克里克tol系统的联系
Machines, Computations, and Universality Pub Date : 2015-09-09 DOI: 10.1007/978-3-319-23111-2_3
E. Csuhaj-Varjú, R. Freund, György Vaszil
{"title":"A Connection Between Red-Green Turing Machines and Watson-Crick T0L Systems","authors":"E. Csuhaj-Varjú, R. Freund, György Vaszil","doi":"10.1007/978-3-319-23111-2_3","DOIUrl":"https://doi.org/10.1007/978-3-319-23111-2_3","url":null,"abstract":"","PeriodicalId":340847,"journal":{"name":"Machines, Computations, and Universality","volume":"14 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116836840","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 3
Tinput-Driven Pushdown Automata 输入驱动下推自动机
Machines, Computations, and Universality Pub Date : 2015-09-09 DOI: 10.1007/978-3-319-23111-2_7
Martin Kutrib, Andreas Malcher, Matthias Wendlandt
{"title":"Tinput-Driven Pushdown Automata","authors":"Martin Kutrib, Andreas Malcher, Matthias Wendlandt","doi":"10.1007/978-3-319-23111-2_7","DOIUrl":"https://doi.org/10.1007/978-3-319-23111-2_7","url":null,"abstract":"","PeriodicalId":340847,"journal":{"name":"Machines, Computations, and Universality","volume":"120 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"131125813","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 5
A Characterization of NP Within Interval-Valued Computing 区间值计算中NP的一个表征
Machines, Computations, and Universality Pub Date : 2015-09-09 DOI: 10.1007/978-3-319-23111-2_11
B. Nagy, S. Vályi
{"title":"A Characterization of NP Within Interval-Valued Computing","authors":"B. Nagy, S. Vályi","doi":"10.1007/978-3-319-23111-2_11","DOIUrl":"https://doi.org/10.1007/978-3-319-23111-2_11","url":null,"abstract":"","PeriodicalId":340847,"journal":{"name":"Machines, Computations, and Universality","volume":"2014 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"134034513","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
Non-isometric Contextual Array Grammars with Regular Control and Local Selectors 具有正则控制和局部选择器的非等距上下文数组语法
Machines, Computations, and Universality Pub Date : 2015-09-09 DOI: 10.1007/978-3-319-23111-2_5
H. Fernau, R. Freund, R. Siromoney, K. Subramanian
{"title":"Non-isometric Contextual Array Grammars with Regular Control and Local Selectors","authors":"H. Fernau, R. Freund, R. Siromoney, K. Subramanian","doi":"10.1007/978-3-319-23111-2_5","DOIUrl":"https://doi.org/10.1007/978-3-319-23111-2_5","url":null,"abstract":"","PeriodicalId":340847,"journal":{"name":"Machines, Computations, and Universality","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"115412791","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 4
Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics 相对论物理中计算和超计算的形式化验证
Machines, Computations, and Universality Pub Date : 2015-09-09 DOI: 10.1007/978-3-319-23111-2_2
M. Stannett
{"title":"Towards Formal Verification of Computations and Hypercomputations in Relativistic Physics","authors":"M. Stannett","doi":"10.1007/978-3-319-23111-2_2","DOIUrl":"https://doi.org/10.1007/978-3-319-23111-2_2","url":null,"abstract":"","PeriodicalId":340847,"journal":{"name":"Machines, Computations, and Universality","volume":"37 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2015-09-09","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"122960127","PeriodicalName":null,"FirstCategoryId":null,"ListUrlMain":null,"RegionNum":0,"RegionCategory":"","ArticlePicture":[],"TitleCN":null,"AbstractTextCN":null,"PMCID":"","EPubDate":null,"PubModel":null,"JCR":null,"JCRName":null,"Score":null,"Total":0}
引用次数: 1
首页 上一页 下一页 尾页
0
×
引用
GB/T 7714-2015
复制
MLA
复制
APA
复制
导出至
BibTeX EndNote RefMan NoteFirst NoteExpress
×
提示
您的信息不完整，为了账户安全，请先补充。
现在去补充
×
提示
您因"违规操作"
具体请查看互助需知
我知道了
×
提示
现在去查看 取消
×
提示
确定
请完成安全验证×
相关产品
×
本文献相关产品
联系我们：info@booksci.cn Book学术提供免费学术资源搜索服务，方便国内外学者检索中英文文献。致力于提供最便捷和优质的服务体验。 Copyright © 2023 布克学术 All rights reserved.
京ICP备2023020795号-1
ghs 京公网安备 11010802042870号
Book学术文献互助
Book学术文献互助群
群 号：481959085
Book学术官方微信