Pub Date : 2001-05-23DOI: 10.1007/3-540-45132-3_14
R. Freund, G. Paun
{"title":"On the Number of Non-terminal Symbols in Graph-Controlled, Programmed and Matrix Grammars","authors":"R. Freund, G. Paun","doi":"10.1007/3-540-45132-3_14","DOIUrl":"https://doi.org/10.1007/3-540-45132-3_14","url":null,"abstract":"","PeriodicalId":340847,"journal":{"name":"Machines, Computations, and Universality","volume":"81 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"126009803","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 : 2001-05-23DOI: 10.1007/3-540-45132-3_21
Zenon Sadowski
{"title":"On a P-optimal Proof System for the Set of All Satisfiable Boolean Formulas (SAT)","authors":"Zenon Sadowski","doi":"10.1007/3-540-45132-3_21","DOIUrl":"https://doi.org/10.1007/3-540-45132-3_21","url":null,"abstract":"","PeriodicalId":340847,"journal":{"name":"Machines, Computations, and Universality","volume":"12 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"125913458","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 : 2001-05-23DOI: 10.1007/3-540-45132-3_10
V. Blondel, J. Cassaigne, Codrin M. Nichitiu
{"title":"On a Conjecture of Kurka. A Turing Machine with No Periodic Configurations","authors":"V. Blondel, J. Cassaigne, Codrin M. Nichitiu","doi":"10.1007/3-540-45132-3_10","DOIUrl":"https://doi.org/10.1007/3-540-45132-3_10","url":null,"abstract":"","PeriodicalId":340847,"journal":{"name":"Machines, Computations, and Universality","volume":"8 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"129866895","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}
{"title":"Power, Puzzles and Properties of Entanglement","authors":"J. Gruska, H. Imai","doi":"10.1007/3-540-45132-3_3","DOIUrl":"https://doi.org/10.1007/3-540-45132-3_3","url":null,"abstract":"","PeriodicalId":340847,"journal":{"name":"Machines, Computations, and Universality","volume":"5 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123036336","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 : 2001-05-23DOI: 10.1007/3-540-45132-3_15
P. Frisco
{"title":"A Direct Construction of a Universal Extended H System","authors":"P. Frisco","doi":"10.1007/3-540-45132-3_15","DOIUrl":"https://doi.org/10.1007/3-540-45132-3_15","url":null,"abstract":"","PeriodicalId":340847,"journal":{"name":"Machines, Computations, and Universality","volume":"10 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"121486171","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}
{"title":"Two Normal Forms for Rewriting P Systems","authors":"C. Zandron, C. Ferretti, G. Mauri","doi":"10.1007/3-540-45132-3_9","DOIUrl":"https://doi.org/10.1007/3-540-45132-3_9","url":null,"abstract":"","PeriodicalId":340847,"journal":{"name":"Machines, Computations, and Universality","volume":"21 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"2001-05-23","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"133163389","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 : 1900-01-01DOI: 10.1007/978-3-031-13502-6_9
Viktor Olejár, Alexander Szabari
{"title":"Closure Properties of Subregular Languages Under Operations","authors":"Viktor Olejár, Alexander Szabari","doi":"10.1007/978-3-031-13502-6_9","DOIUrl":"https://doi.org/10.1007/978-3-031-13502-6_9","url":null,"abstract":"","PeriodicalId":340847,"journal":{"name":"Machines, Computations, and Universality","volume":"2016 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"128038701","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 : 1900-01-01DOI: 10.1007/978-3-031-13502-6_10
David Orellana-Martín, Luis Valencia-Cabrera, M. Pérez-Jiménez
{"title":"P Systems with Evolutional Communication and Separation Rules","authors":"David Orellana-Martín, Luis Valencia-Cabrera, M. Pérez-Jiménez","doi":"10.1007/978-3-031-13502-6_10","DOIUrl":"https://doi.org/10.1007/978-3-031-13502-6_10","url":null,"abstract":"","PeriodicalId":340847,"journal":{"name":"Machines, Computations, and Universality","volume":"30 Suppl 4 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"123448291","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 : 1900-01-01DOI: 10.1007/978-3-540-74593-8
J. Durand-Lose, M. Margenstern
{"title":"Machines, Computations, and Universality, 5th International Conference, MCU 2007, Orléans, France, September 10-13, 2007, Proceedings","authors":"J. Durand-Lose, M. Margenstern","doi":"10.1007/978-3-540-74593-8","DOIUrl":"https://doi.org/10.1007/978-3-540-74593-8","url":null,"abstract":"","PeriodicalId":340847,"journal":{"name":"Machines, Computations, and Universality","volume":"23 1","pages":"0"},"PeriodicalIF":0.0,"publicationDate":"1900-01-01","publicationTypes":"Journal Article","fieldsOfStudy":null,"isOpenAccess":false,"openAccessPdf":"","citationCount":null,"resultStr":null,"platform":"Semanticscholar","paperid":"116610935","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
扫码关注我们
求助内容：
应助结果提醒方式：