Pub Date : 2015-09-09DOI: 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}
Pub Date : 2015-09-09DOI: 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}
Pub Date : 2015-09-09DOI: 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}
Pub Date : 2015-09-09DOI: 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}
Pub Date : 2015-09-09DOI: 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}
Pub Date : 2015-09-09DOI: 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}
Pub Date : 2015-09-09DOI: 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}
Pub Date : 2015-09-09DOI: 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}
Pub Date : 2015-09-09DOI: 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}
京公网安备 11010802042870号
京ICP备2023020795号-1
扫码关注我们
求助内容：
应助结果提醒方式：