Holzer, Markus; Rauch, Christian The range of state complexities of languages resulting from the cascade product – the unary case. (English) Zbl 07770238 Int. J. Found. Comput. Sci. 34, No. 8, 987-1022 (2023). MSC: 68Q04 68Q10 68Q45 68R05 PDFBibTeX XMLCite \textit{M. Holzer} and \textit{C. Rauch}, Int. J. Found. Comput. Sci. 34, No. 8, 987--1022 (2023; Zbl 07770238) Full Text: DOI
Plátek, Martin; Otto, Friedrich; Mráz, František One-way restarting automata and their sensitivitys. (English) Zbl 1518.68189 Int. J. Found. Comput. Sci. 33, No. 3-4, 371-387 (2022). MSC: 68Q45 PDFBibTeX XMLCite \textit{M. Plátek} et al., Int. J. Found. Comput. Sci. 33, No. 3--4, 371--387 (2022; Zbl 1518.68189) Full Text: DOI
Alhazov, Artiom; Freund, Rudolf; Ivanov, Sergiu; Verlan, Sergey Tissue P systems with vesicles of multisets. (English) Zbl 1527.68067 Int. J. Found. Comput. Sci. 33, No. 3-4, 179-202 (2022). MSC: 68Q07 PDFBibTeX XMLCite \textit{A. Alhazov} et al., Int. J. Found. Comput. Sci. 33, No. 3--4, 179--202 (2022; Zbl 1527.68067) Full Text: DOI
De Brito, Vasco Boavida; Costa, José Félix; Poças, Diogo The power of machines that control experiments. (English) Zbl 1522.68222 Int. J. Found. Comput. Sci. 33, No. 2, 91-118 (2022). MSC: 68Q09 68Q04 68Q15 PDFBibTeX XMLCite \textit{V. B. De Brito} et al., Int. J. Found. Comput. Sci. 33, No. 2, 91--118 (2022; Zbl 1522.68222) Full Text: DOI
Ibrahimov, Rishat; Khadiev, Kamil; Prūsis, Krišjānis; Yakaryılmaz, Abuzer Error-free affine, unitary, and probabilistic OBDDs. (English) Zbl 1522.68172 Int. J. Found. Comput. Sci. 32, No. 7, 827-847 (2021). MSC: 68P05 68Q10 68Q12 68Q45 PDFBibTeX XMLCite \textit{R. Ibrahimov} et al., Int. J. Found. Comput. Sci. 32, No. 7, 827--847 (2021; Zbl 1522.68172) Full Text: DOI
Modanese, Augusto Sublinear-time language recognition and decision by one-dimensional cellular automata. (English) Zbl 1518.68223 Int. J. Found. Comput. Sci. 32, No. 6, 713-731 (2021). MSC: 68Q80 68Q15 68Q25 68Q45 PDFBibTeX XMLCite \textit{A. Modanese}, Int. J. Found. Comput. Sci. 32, No. 6, 713--731 (2021; Zbl 1518.68223) Full Text: DOI
Kari, Lila; Ng, Timothy Descriptional complexity of semi-simple splicing systems. (English) Zbl 1518.68112 Int. J. Found. Comput. Sci. 32, No. 6, 685-711 (2021). MSC: 68Q07 PDFBibTeX XMLCite \textit{L. Kari} and \textit{T. Ng}, Int. J. Found. Comput. Sci. 32, No. 6, 685--711 (2021; Zbl 1518.68112) Full Text: DOI
Fazekas, Szilárd Zsolt; Kim, Hwee; Matsuoka, Ryuichi; Morita, Reoto; Seki, Shinnosuke Linear bounds on the size of conformations in greedy deterministic oritatami. (English) Zbl 1517.68120 Int. J. Found. Comput. Sci. 32, No. 5, 575-596 (2021). MSC: 68Q07 92D20 PDFBibTeX XMLCite \textit{S. Z. Fazekas} et al., Int. J. Found. Comput. Sci. 32, No. 5, 575--596 (2021; Zbl 1517.68120) Full Text: DOI
Ibarra, Oscar H.; McQuillan, Ian Generalizations of checking stack automata: characterizations and hierarchies. (English) Zbl 1522.68272 Int. J. Found. Comput. Sci. 32, No. 5, 481-508 (2021). MSC: 68Q45 68Q04 PDFBibTeX XMLCite \textit{O. H. Ibarra} and \textit{I. McQuillan}, Int. J. Found. Comput. Sci. 32, No. 5, 481--508 (2021; Zbl 1522.68272) Full Text: DOI
Xu, Xirong; Zhang, Huifeng; Wang, Ziming; Zhang, Qiang; Zhang, Peng \((n-2)\)-fault-tolerant edge-pancyclicity of crossed cubes \(CQ_n\). (English) Zbl 1522.68054 Int. J. Found. Comput. Sci. 32, No. 3, 289-304 (2021). MSC: 68M10 05C40 68M15 68R10 PDFBibTeX XMLCite \textit{X. Xu} et al., Int. J. Found. Comput. Sci. 32, No. 3, 289--304 (2021; Zbl 1522.68054) Full Text: DOI
Kim, Eunkyung; Lee, Hyang-Sook; Park, Jeongeun Towards round-optimal secure multiparty computations: multikey FHE without a CRS. (English) Zbl 1458.68068 Int. J. Found. Comput. Sci. 31, No. 2, 157-174 (2020). MSC: 68Q10 68M25 68P25 94A60 PDFBibTeX XMLCite \textit{E. Kim} et al., Int. J. Found. Comput. Sci. 31, No. 2, 157--174 (2020; Zbl 1458.68068) Full Text: DOI
Păun, Andrei; Bîlbîe, Florin-Daniel Universality of SNQ P systems using one type of spikes and restrictive rule application. (English) Zbl 1430.68113 Int. J. Found. Comput. Sci. 31, No. 1, 117-132 (2020). MSC: 68Q07 PDFBibTeX XMLCite \textit{A. Păun} and \textit{F.-D. Bîlbîe}, Int. J. Found. Comput. Sci. 31, No. 1, 117--132 (2020; Zbl 1430.68113) Full Text: DOI
Dassow, Jürgen; Truthe, Bianca Networks with evolutionary processors and ideals and codes as filters. (English) Zbl 1430.68112 Int. J. Found. Comput. Sci. 31, No. 1, 73-89 (2020). MSC: 68Q07 68Q45 PDFBibTeX XMLCite \textit{J. Dassow} and \textit{B. Truthe}, Int. J. Found. Comput. Sci. 31, No. 1, 73--89 (2020; Zbl 1430.68112) Full Text: DOI
Bottoni, Paolo; Labella, Anna; Rozenberg, Grzegorz Networks of reaction systems. (English) Zbl 1430.68111 Int. J. Found. Comput. Sci. 31, No. 1, 53-71 (2020). MSC: 68Q07 PDFBibTeX XMLCite \textit{P. Bottoni} et al., Int. J. Found. Comput. Sci. 31, No. 1, 53--71 (2020; Zbl 1430.68111) Full Text: DOI
Arroyo Montoro, Fernando; Gómez-Canaval, Sandra; Jiménez Vega, Karina; Ortega de la Puente, Alfonso A linear time solution for \(N\)-queens problem using generalized networks of evolutionary polarized processors. (English) Zbl 1430.68110 Int. J. Found. Comput. Sci. 31, No. 1, 7-21 (2020). MSC: 68Q07 68W10 68W15 68W40 90C27 PDFBibTeX XMLCite \textit{F. Arroyo Montoro} et al., Int. J. Found. Comput. Sci. 31, No. 1, 7--21 (2020; Zbl 1430.68110) Full Text: DOI
Mohanty, Sraban Kumar; Sajith, G. An input/output efficient algorithm for Hessenberg reduction. (English) Zbl 1480.65110 Int. J. Found. Comput. Sci. 30, No. 8, 1279-1300 (2019). MSC: 65F99 68W40 15A23 PDFBibTeX XMLCite \textit{S. K. Mohanty} and \textit{G. Sajith}, Int. J. Found. Comput. Sci. 30, No. 8, 1279--1300 (2019; Zbl 1480.65110) Full Text: DOI
Holzer, Markus; Kutrib, Martin One-time nondeterministic computations. (English) Zbl 1427.68145 Int. J. Found. Comput. Sci. 30, No. 6-7, 1069-1089 (2019). MSC: 68Q45 68Q10 PDFBibTeX XMLCite \textit{M. Holzer} and \textit{M. Kutrib}, Int. J. Found. Comput. Sci. 30, No. 6--7, 1069--1089 (2019; Zbl 1427.68145) Full Text: DOI
Han, Yo-Sub; Kim, Hwee; Rogers, Trent A.; Seki, Shinnosuke Self-attraction removal from oritatami systems. (English) Zbl 1427.68080 Int. J. Found. Comput. Sci. 30, No. 6-7, 1047-1067 (2019). MSC: 68Q07 92D20 PDFBibTeX XMLCite \textit{Y.-S. Han} et al., Int. J. Found. Comput. Sci. 30, No. 6--7, 1047--1067 (2019; Zbl 1427.68080) Full Text: DOI
Freund, Rudolf; Rogojin, Vladimir; Verlan, Sergey Variants of networks of evolutionary processors with polarizations and a small number of processors. (English) Zbl 1427.68078 Int. J. Found. Comput. Sci. 30, No. 6-7, 1005-1027 (2019). MSC: 68Q06 68Q10 PDFBibTeX XMLCite \textit{R. Freund} et al., Int. J. Found. Comput. Sci. 30, No. 6--7, 1005--1027 (2019; Zbl 1427.68078) Full Text: DOI
Xu, Zifeng; Zhou, Fucai; Li, Yuxi; Xu, Jian; Wang, Qiang Privacy-preserving subgraph matching protocol for two parties. (English) Zbl 1435.68084 Int. J. Found. Comput. Sci. 30, No. 4, 571-588 (2019). MSC: 68P27 68P05 68R10 94A62 PDFBibTeX XMLCite \textit{Z. Xu} et al., Int. J. Found. Comput. Sci. 30, No. 4, 571--588 (2019; Zbl 1435.68084) Full Text: DOI
Teh, Wen Chean Compositions of functions and permutations specified by minimal reaction systems. (English) Zbl 1415.68100 Int. J. Found. Comput. Sci. 29, No. 7, 1165-1179 (2018). MSC: 68Q05 92C37 92C40 PDFBibTeX XMLCite \textit{W. C. Teh}, Int. J. Found. Comput. Sci. 29, No. 7, 1165--1179 (2018; Zbl 1415.68100) Full Text: DOI arXiv
Burjons, Elisabet; Hromkovič, Juraj; Královič, Rastislav; Královič, Richard; Muñoz, Xavier; Unger, Walter Online graph coloring against a randomized adversary. (English) Zbl 1397.68229 Int. J. Found. Comput. Sci. 29, No. 4, 551-569 (2018). MSC: 68W27 05C15 68R10 68W20 PDFBibTeX XMLCite \textit{E. Burjons} et al., Int. J. Found. Comput. Sci. 29, No. 4, 551--569 (2018; Zbl 1397.68229) Full Text: DOI
Bournez, Olivier; Kurganskyy, Oleksiy; Potapov, Igor Reachability problems for one-dimensional piecewise affine maps. (English) Zbl 1394.37009 Int. J. Found. Comput. Sci. 29, No. 4, 529-549 (2018). MSC: 37A45 03B25 03D35 68Q05 11E95 PDFBibTeX XMLCite \textit{O. Bournez} et al., Int. J. Found. Comput. Sci. 29, No. 4, 529--549 (2018; Zbl 1394.37009) Full Text: DOI
Nakanishi, Masaki Quantum pushdown automata with garbage tape. (English) Zbl 1390.68411 Int. J. Found. Comput. Sci. 29, No. 3, 425-446 (2018). MSC: 68Q45 68Q05 81P68 PDFBibTeX XMLCite \textit{M. Nakanishi}, Int. J. Found. Comput. Sci. 29, No. 3, 425--446 (2018; Zbl 1390.68411) Full Text: DOI arXiv
Atig, Mohamed Faouzi; Bollig, Benedikt; Habermehl, Peter Emptiness of ordered multi-pushdown automata is 2ETIME-complete. (English) Zbl 1387.68129 Int. J. Found. Comput. Sci. 28, No. 8, 945-975 (2017). MSC: 68Q25 68Q05 68Q45 PDFBibTeX XMLCite \textit{M. F. Atig} et al., Int. J. Found. Comput. Sci. 28, No. 8, 945--975 (2017; Zbl 1387.68129) Full Text: DOI
Sun, Jiameng; Zhu, Binrui; Qin, Jing; Hu, Jiankun; Wu, Qianhong Confidentiality-preserving publicly verifiable computation. (English) Zbl 1417.94081 Int. J. Found. Comput. Sci. 28, No. 6, 799-818 (2017). MSC: 94A60 68P25 PDFBibTeX XMLCite \textit{J. Sun} et al., Int. J. Found. Comput. Sci. 28, No. 6, 799--818 (2017; Zbl 1417.94081) Full Text: DOI
Belovs, Aleksandrs; Montoya, J. Andres; Yakaryılmaz, Abuzer On a conjecture by Christian Choffrut. (English) Zbl 1380.68245 Int. J. Found. Comput. Sci. 28, No. 5, 483-501 (2017). MSC: 68Q45 68Q05 68Q10 81P68 PDFBibTeX XMLCite \textit{A. Belovs} et al., Int. J. Found. Comput. Sci. 28, No. 5, 483--501 (2017; Zbl 1380.68245) Full Text: DOI
Seki, Shinnosuke; Winslow, Andrew The complexity of fixed-height patterned tile self-assembly. (English) Zbl 1380.68181 Int. J. Found. Comput. Sci. 28, No. 5, 465-482 (2017). MSC: 68Q05 68Q17 68W40 PDFBibTeX XMLCite \textit{S. Seki} and \textit{A. Winslow}, Int. J. Found. Comput. Sci. 28, No. 5, 465--482 (2017; Zbl 1380.68181) Full Text: DOI arXiv
Russell, Benjamin; Stepney, Susan The geometry of speed limiting resources in physical models of computation. (English) Zbl 1371.81086 Int. J. Found. Comput. Sci. 28, No. 4, 321-333 (2017). MSC: 81P68 PDFBibTeX XMLCite \textit{B. Russell} and \textit{S. Stepney}, Int. J. Found. Comput. Sci. 28, No. 4, 321--333 (2017; Zbl 1371.81086) Full Text: DOI arXiv
Arnold, Stefan Identifying generalized Reed-Muller codewords by quantum queries. (English) Zbl 1368.81061 Int. J. Found. Comput. Sci. 28, No. 2, 185-194 (2017). MSC: 81P68 81P94 94B05 94B65 PDFBibTeX XMLCite \textit{S. Arnold}, Int. J. Found. Comput. Sci. 28, No. 2, 185--194 (2017; Zbl 1368.81061) Full Text: DOI
Teh, Wen Chean; Atanasiu, Adrian Minimal reaction systems revisited and reaction system rank. (English) Zbl 1371.68087 Int. J. Found. Comput. Sci. 28, No. 3, 247-261 (2017). MSC: 68Q05 68Q10 PDFBibTeX XMLCite \textit{W. C. Teh} and \textit{A. Atanasiu}, Int. J. Found. Comput. Sci. 28, No. 3, 247--261 (2017; Zbl 1371.68087) Full Text: DOI
Fujita, Toru; Nakano, Koji; Ito, Yasuaki Fast simulation of Conway’s Game of Life using bitwise parallel bulk computation on a GPU. (English) Zbl 1364.68269 Int. J. Found. Comput. Sci. 27, No. 8, 981-1003 (2016). MSC: 68Q80 65Y05 PDFBibTeX XMLCite \textit{T. Fujita} et al., Int. J. Found. Comput. Sci. 27, No. 8, 981--1003 (2016; Zbl 1364.68269) Full Text: DOI
Yakaryilmaz, Abuzer; Say, A. C. Cem; Demirci, H. Gökalp Debates with small transparent quantum verifiers. (English) Zbl 1344.68133 Int. J. Found. Comput. Sci. 27, No. 2, 283-300 (2016). MSC: 68Q45 81P68 PDFBibTeX XMLCite \textit{A. Yakaryilmaz} et al., Int. J. Found. Comput. Sci. 27, No. 2, 283--300 (2016; Zbl 1344.68133) Full Text: DOI
Bednárová, Zuzana; Geffert, Viliam; Reinhardt, Klaus; Yakaryilmaz, Abuzer New results on the minimum amount of useful space. (English) Zbl 1338.68138 Int. J. Found. Comput. Sci. 27, No. 2, 259-281 (2016). MSC: 68Q45 68Q05 PDFBibTeX XMLCite \textit{Z. Bednárová} et al., Int. J. Found. Comput. Sci. 27, No. 2, 259--281 (2016; Zbl 1338.68138) Full Text: DOI arXiv
Kutrib, Martin; Malcher, Andreas; Wendlandt, Matthias Set automata. (English) Zbl 1352.68134 Int. J. Found. Comput. Sci. 27, No. 2, 187-214 (2016). Reviewer: Andreas Maletti (Stuttgart) MSC: 68Q45 68Q05 PDFBibTeX XMLCite \textit{M. Kutrib} et al., Int. J. Found. Comput. Sci. 27, No. 2, 187--214 (2016; Zbl 1352.68134) Full Text: DOI
Bordihn, Henning; Kutrib, Martin; Malcher, Andreas Returning parallel communicating finite automata with communication bounds: hierarchies, decidabilities, and undecidabilities. (English) Zbl 1338.68141 Int. J. Found. Comput. Sci. 26, No. 8, 1101-1126 (2015). MSC: 68Q45 68Q85 PDFBibTeX XMLCite \textit{H. Bordihn} et al., Int. J. Found. Comput. Sci. 26, No. 8, 1101--1126 (2015; Zbl 1338.68141) Full Text: DOI
Bianchi, Maria Paola; Mereghetti, Carlo; Palano, Beatrice On the power of one-way automata with quantum and classical states. (English) Zbl 1330.68144 Int. J. Found. Comput. Sci. 26, No. 7, 895-912 (2015). MSC: 68Q45 81P68 PDFBibTeX XMLCite \textit{M. P. Bianchi} et al., Int. J. Found. Comput. Sci. 26, No. 7, 895--912 (2015; Zbl 1330.68144) Full Text: DOI
Esparza, Javier; Luttenberger, Michael; Schlund, Maximilian FPsolve: a generic solver for fixpoint equations over semirings. (English) Zbl 1330.68353 Int. J. Found. Comput. Sci. 26, No. 7, 805-825 (2015). MSC: 68W30 16Y60 PDFBibTeX XMLCite \textit{J. Esparza} et al., Int. J. Found. Comput. Sci. 26, No. 7, 805--825 (2015; Zbl 1330.68353) Full Text: DOI
van Leeuwen, Jan; Wiedermann, Jiří Separating the classes of recursively enumerable languages based on machine size. (English) Zbl 1333.68176 Int. J. Found. Comput. Sci. 26, No. 6, 677-695 (2015). MSC: 68Q45 68Q05 PDFBibTeX XMLCite \textit{J. van Leeuwen} and \textit{J. Wiedermann}, Int. J. Found. Comput. Sci. 26, No. 6, 677--695 (2015; Zbl 1333.68176) Full Text: DOI
Gruska, Jozef; Qiu, Daowen; Zheng, Shenggen Potential of quantum finite automata with exact acceptance. (English) Zbl 1327.81128 Int. J. Found. Comput. Sci. 26, No. 3, 381-398 (2015). MSC: 81P68 68Q45 PDFBibTeX XMLCite \textit{J. Gruska} et al., Int. J. Found. Comput. Sci. 26, No. 3, 381--398 (2015; Zbl 1327.81128) Full Text: DOI arXiv
Calude, Cristian S.; Desfontaines, Damien Anytime algorithms for non-ending computations. (English) Zbl 1338.68127 Int. J. Found. Comput. Sci. 26, No. 4, 465-475 (2015). Reviewer: Marius Zimand (Towson) MSC: 68Q30 68Q05 PDFBibTeX XMLCite \textit{C. S. Calude} and \textit{D. Desfontaines}, Int. J. Found. Comput. Sci. 26, No. 4, 465--475 (2015; Zbl 1338.68127) Full Text: DOI
Rudy, Jarosław Dynamic random-access stored-program machine for runtime code modification. (English) Zbl 1337.68104 Int. J. Found. Comput. Sci. 26, No. 4, 441-463 (2015). MSC: 68Q05 68N30 PDFBibTeX XMLCite \textit{J. Rudy}, Int. J. Found. Comput. Sci. 26, No. 4, 441--463 (2015; Zbl 1337.68104) Full Text: DOI
Gandhi, Ratnik; Chatterji, Samaresh Applications of algebra for some game theoretic problems. (English) Zbl 1319.91016 Int. J. Found. Comput. Sci. 26, No. 1, 51-78 (2015). MSC: 91A10 65H05 13P10 68Q25 12E30 PDFBibTeX XMLCite \textit{R. Gandhi} and \textit{S. Chatterji}, Int. J. Found. Comput. Sci. 26, No. 1, 51--78 (2015; Zbl 1319.91016) Full Text: DOI
Bertoni, Alberto; Choffrut, Christian; D’Alessandro, Flavio On the decidability of the intersection problem for quantum automata and context-free languages. (English) Zbl 1310.68127 Int. J. Found. Comput. Sci. 25, No. 8, 1065-1081 (2014). MSC: 68Q45 68Q05 81P68 PDFBibTeX XMLCite \textit{A. Bertoni} et al., Int. J. Found. Comput. Sci. 25, No. 8, 1065--1081 (2014; Zbl 1310.68127) Full Text: DOI
Küçük, Uğur; Say, A. C. Cem; Yakaryilmaz, Abuzer Finite automata with advice tapes. (English) Zbl 1309.68120 Int. J. Found. Comput. Sci. 25, No. 8, 987-1000 (2014). MSC: 68Q45 68Q05 PDFBibTeX XMLCite \textit{U. Küçük} et al., Int. J. Found. Comput. Sci. 25, No. 8, 987--1000 (2014; Zbl 1309.68120) Full Text: DOI
Pighizzini, Giovanni; Pisoni, Andrea Limited automata and regular languages. (English) Zbl 1320.68114 Int. J. Found. Comput. Sci. 25, No. 7, 897-916 (2014). MSC: 68Q45 68Q05 PDFBibTeX XMLCite \textit{G. Pighizzini} and \textit{A. Pisoni}, Int. J. Found. Comput. Sci. 25, No. 7, 897--916 (2014; Zbl 1320.68114) Full Text: DOI
Russell, Benjamin; Stepney, Susan Applications of Finsler geometry to speed limits to quantum information processing. (English) Zbl 1360.68474 Int. J. Found. Comput. Sci. 25, No. 4, 489-505 (2014). MSC: 68Q12 53B40 81P68 PDFBibTeX XMLCite \textit{B. Russell} and \textit{S. Stepney}, Int. J. Found. Comput. Sci. 25, No. 4, 489--505 (2014; Zbl 1360.68474) Full Text: DOI
Padilla, Jennifer E.; Patitz, Matthew J.; Schweller, Robert T.; Seeman, Nadrian C.; Summers, Scott M.; Zhong, Xingsi Asynchronous signal passing for tile self-assembly: fuel efficient computation and efficient assembly of shapes. (English) Zbl 1360.68470 Int. J. Found. Comput. Sci. 25, No. 4, 459-488 (2014). MSC: 68Q05 68Q10 PDFBibTeX XMLCite \textit{J. E. Padilla} et al., Int. J. Found. Comput. Sci. 25, No. 4, 459--488 (2014; Zbl 1360.68470) Full Text: DOI
Manzoni, Luca; Poças, Diogo; Porreca, Antonio E. Simple reaction systems and their classification. (English) Zbl 1360.68466 Int. J. Found. Comput. Sci. 25, No. 4, 441-457 (2014). MSC: 68Q05 68Q10 92C40 PDFBibTeX XMLCite \textit{L. Manzoni} et al., Int. J. Found. Comput. Sci. 25, No. 4, 441--457 (2014; Zbl 1360.68466) Full Text: DOI
Kari, Lila; Kopecki, Steffen; Simjour, Amirhossein Hypergraph automata: a theoretical model for patterned self-assembly. (English) Zbl 1360.68564 Int. J. Found. Comput. Sci. 25, No. 4, 419-439 (2014). MSC: 68Q45 05B45 05C65 68Q05 PDFBibTeX XMLCite \textit{L. Kari} et al., Int. J. Found. Comput. Sci. 25, No. 4, 419--439 (2014; Zbl 1360.68564) Full Text: DOI arXiv
Csuhaj-Varjú, Erzsébet; Vaszil, György P automata with restricted power. (English) Zbl 1360.68461 Int. J. Found. Comput. Sci. 25, No. 4, 391-408 (2014). MSC: 68Q05 68Q10 68Q45 PDFBibTeX XMLCite \textit{E. Csuhaj-Varjú} and \textit{G. Vaszil}, Int. J. Found. Comput. Sci. 25, No. 4, 391--408 (2014; Zbl 1360.68461) Full Text: DOI
Beggs, Edwin; Costa, José Félix; Poças, Diogo; Tucker, John V. An analogue-digital Church-Turing thesis. (English) Zbl 1361.68082 Int. J. Found. Comput. Sci. 25, No. 4, 373-389 (2014). MSC: 68Q05 68Q15 68Q17 PDFBibTeX XMLCite \textit{E. Beggs} et al., Int. J. Found. Comput. Sci. 25, No. 4, 373--389 (2014; Zbl 1361.68082) Full Text: DOI
Dennunzio, Alberto (ed.); Manzoni, Luca (ed.); Mauri, Giancarlo (ed.); Porreca, Antonio E. (ed.) Preface. (English) Zbl 1305.00137 Int. J. Found. Comput. Sci. 25, No. 4, 369-371 (2014). MSC: 00B25 68-06 68Q05 68Q10 PDFBibTeX XMLCite \textit{A. Dennunzio} (ed.) et al., Int. J. Found. Comput. Sci. 25, No. 4, 369--371 (2014; Zbl 1305.00137) Full Text: DOI
Ehrenfeucht, Andrzej; Rozenberg, Grzegorz Zoom structures and reaction systems yield exploration systems. (English) Zbl 1360.68463 Int. J. Found. Comput. Sci. 25, No. 3, 275-305 (2014). MSC: 68Q05 68Q10 92C42 PDFBibTeX XMLCite \textit{A. Ehrenfeucht} and \textit{G. Rozenberg}, Int. J. Found. Comput. Sci. 25, No. 3, 275--305 (2014; Zbl 1360.68463) Full Text: DOI
Jonoska, Nataša; Karpenko, Daria Active tile self-assembly. II: self-similar structures and structural recursion. (English) Zbl 1301.68124 Int. J. Found. Comput. Sci. 25, No. 2, 165-194 (2014). MSC: 68Q05 68Q10 PDFBibTeX XMLCite \textit{N. Jonoska} and \textit{D. Karpenko}, Int. J. Found. Comput. Sci. 25, No. 2, 165--194 (2014; Zbl 1301.68124) Full Text: DOI
Jonoska, Nataša; Karpenko, Daria Active tile self-assembly. I: Universality at temperature 1. (English) Zbl 1301.68123 Int. J. Found. Comput. Sci. 25, No. 2, 141-163 (2014). MSC: 68Q05 68Q10 68Q80 PDFBibTeX XMLCite \textit{N. Jonoska} and \textit{D. Karpenko}, Int. J. Found. Comput. Sci. 25, No. 2, 141--163 (2014; Zbl 1301.68123) Full Text: DOI
Csuhaj-Varjú, Erzsébet P and dP automata: unconventional versus classical automata. (English) Zbl 1293.68183 Int. J. Found. Comput. Sci. 24, No. 7, 998-1008 (2013). MSC: 68Q45 68Q05 PDFBibTeX XMLCite \textit{E. Csuhaj-Varjú}, Int. J. Found. Comput. Sci. 24, No. 7, 998--1008 (2013; Zbl 1293.68183) Full Text: DOI
Iwama, Kazuo; Nishimura, Harumichi Recovering strings in oracles: quantum and classic. (English) Zbl 1293.68170 Int. J. Found. Comput. Sci. 24, No. 7, 979-993 (2013). MSC: 68Q25 68Q12 68Q45 81P68 PDFBibTeX XMLCite \textit{K. Iwama} and \textit{H. Nishimura}, Int. J. Found. Comput. Sci. 24, No. 7, 979--993 (2013; Zbl 1293.68170) Full Text: DOI
Yakaryilmaz, Abuzer; Say, A. C. Cem Tight bounds for the space complexity of nonregular language recognition by real-time machines. (English) Zbl 1291.68234 Int. J. Found. Comput. Sci. 24, No. 8, 1243-1253 (2013). MSC: 68Q45 68Q25 PDFBibTeX XMLCite \textit{A. Yakaryilmaz} and \textit{A. C. C. Say}, Int. J. Found. Comput. Sci. 24, No. 8, 1243--1253 (2013; Zbl 1291.68234) Full Text: DOI arXiv
Fenner, Stephen; Zhang, Yong On the complexity of the hidden subgroup problem. (English) Zbl 1291.68170 Int. J. Found. Comput. Sci. 24, No. 8, 1221-1234 (2013). MSC: 68Q12 81P68 68Q25 PDFBibTeX XMLCite \textit{S. Fenner} and \textit{Y. Zhang}, Int. J. Found. Comput. Sci. 24, No. 8, 1221--1234 (2013; Zbl 1291.68170) Full Text: DOI
Gheorghe, Marian; Păun, Gheorghe; Pérez-Jiménez, Mario J.; Rozenberg, Grzegorz [Alhazov, A.; Ivanov, S.; Rogozhin, Y.; Csuhaj-Varjú, E.; Pan, L.; Song, T.; Krithivasan, K.; Ramanujan, A.; Vaszil, G.; Leporati, A.; Mauri, G.; Porreca, A. E.; Zandron, C.; Murphy, N.; Riscos-Núñez, A.; Rius-Font, M.; Romero-Jiménez, Á.; Cavaliere, M.; Vasile, C.; Pavel, A. B.; Dumitrache, I.; Ipate, F.; Agrigoroaiei, O.; Aman, B.; Ciobanu, G.; Zhang, G.; Manca, V.; Hinze, T.; Romero-Campero, F. J.; Obtulowicz, A.; Díaz-Pernil, D.; Gutiérrez-Naranjo, M. A.; García-Quismondo, M.; Macías-Ramos, L. F.; Martínez-del-Amor, M. A.; Pérez-Hurtado, I.; Valencia-Cabrera, L.] Research frontiers of membrane computing: open problems and research topics. (English) Zbl 1292.68065 Int. J. Found. Comput. Sci. 24, No. 5, 547-623 (2013). MSC: 68Q10 68-02 68Q05 68Q45 68Q60 68Q17 68Q15 PDFBibTeX XMLCite \textit{M. Gheorghe} et al., Int. J. Found. Comput. Sci. 24, No. 5, 547--623 (2013; Zbl 1292.68065) Full Text: DOI
Burgin, Mark; Calude, Cristian S.; Calude, Elena Inductive complexity measures for mathematical problems. (English) Zbl 1359.68149 Int. J. Found. Comput. Sci. 24, No. 4, 487-500 (2013). MSC: 68Q30 03D15 68Q05 68Q15 PDFBibTeX XMLCite \textit{M. Burgin} et al., Int. J. Found. Comput. Sci. 24, No. 4, 487--500 (2013; Zbl 1359.68149) Full Text: DOI
Masopust, Tomáš A note on limited pushdown alphabets in stateless deterministic pushdown automata. (English) Zbl 1321.68340 Int. J. Found. Comput. Sci. 24, No. 3, 319-328 (2013). Reviewer: György Vaszil (Debrecen) MSC: 68Q45 68Q05 68Q19 PDFBibTeX XMLCite \textit{T. Masopust}, Int. J. Found. Comput. Sci. 24, No. 3, 319--328 (2013; Zbl 1321.68340) Full Text: DOI arXiv
Salomaa, Arto Functional constructions between reaction systems and propositional logic. (English) Zbl 1359.68075 Int. J. Found. Comput. Sci. 24, No. 1, 147-159 (2013). MSC: 68Q05 03B05 68Q10 68Q17 PDFBibTeX XMLCite \textit{A. Salomaa}, Int. J. Found. Comput. Sci. 24, No. 1, 147--159 (2013; Zbl 1359.68075) Full Text: DOI
Niu, Yunyun; Subramanian, K. G.; Venkat, Ibrahim; Abdullah, Rosni A tissue P system based solution to quadratic assignment problem. (English) Zbl 1264.68081 Int. J. Found. Comput. Sci. 23, No. 7, 1511-1522 (2012). MSC: 68Q10 90C27 PDFBibTeX XMLCite \textit{Y. Niu} et al., Int. J. Found. Comput. Sci. 23, No. 7, 1511--1522 (2012; Zbl 1264.68081) Full Text: DOI
Meer, Klaus Some initial thoughts on bounded query computations over the reals. (English) Zbl 1297.03028 Int. J. Found. Comput. Sci. 23, No. 7, 1499-1510 (2012). MSC: 03D78 PDFBibTeX XMLCite \textit{K. Meer}, Int. J. Found. Comput. Sci. 23, No. 7, 1499--1510 (2012; Zbl 1297.03028) Full Text: DOI
Finkel, Olivier Three applications to rational relations of the high undecidability of the infinite Post correspondence problem in a regular \(\omega\)-language. (English) Zbl 1267.68133 Int. J. Found. Comput. Sci. 23, No. 7, 1481-1497 (2012). MSC: 68Q45 03D05 03D03 68Q05 PDFBibTeX XMLCite \textit{O. Finkel}, Int. J. Found. Comput. Sci. 23, No. 7, 1481--1497 (2012; Zbl 1267.68133) Full Text: DOI arXiv
Burgin, Mark Decidability and universality in the axiomatic theory of computability and algorithms. (English) Zbl 1279.03068 Int. J. Found. Comput. Sci. 23, No. 7, 1465-1480 (2012). MSC: 03D75 03B25 03D05 03D10 03D20 03D35 68Q05 PDFBibTeX XMLCite \textit{M. Burgin}, Int. J. Found. Comput. Sci. 23, No. 7, 1465--1480 (2012; Zbl 1279.03068) Full Text: DOI
Ben-Amram, Amir M.; Kristiansen, Lars On the edge of decidability in complexity analysis of loop programs. (English) Zbl 1266.68091 Int. J. Found. Comput. Sci. 23, No. 7, 1451-1464 (2012). MSC: 68N30 68N19 68Q05 PDFBibTeX XMLCite \textit{A. M. Ben-Amram} and \textit{L. Kristiansen}, Int. J. Found. Comput. Sci. 23, No. 7, 1451--1464 (2012; Zbl 1266.68091) Full Text: DOI
Alhazov, Artiom; Rogozhin, Yurii; Verlan, Sergey On small universal splicing systems. (English) Zbl 1386.68059 Int. J. Found. Comput. Sci. 23, No. 7, 1423-1438 (2012). MSC: 68Q05 68Q10 PDFBibTeX XMLCite \textit{A. Alhazov} et al., Int. J. Found. Comput. Sci. 23, No. 7, 1423--1438 (2012; Zbl 1386.68059) Full Text: DOI
Ehrenfeucht, Andrzej; Main, Michael; Rozenberg, Grzegorz; Brown, Allison Thompson Stability and chaos in reaction systems. (English) Zbl 1279.68094 Int. J. Found. Comput. Sci. 23, No. 5, 1173-1184 (2012). MSC: 68Q10 92C42 37N25 92C40 68Q05 PDFBibTeX XMLCite \textit{A. Ehrenfeucht} et al., Int. J. Found. Comput. Sci. 23, No. 5, 1173--1184 (2012; Zbl 1279.68094) Full Text: DOI
Arrighi, Pablo; Dowek, Gilles The physical Church-Turing thesis and the principles of quantum theory. (English) Zbl 1279.68096 Int. J. Found. Comput. Sci. 23, No. 5, 1131-1146 (2012). MSC: 68Q12 81P68 68Q80 PDFBibTeX XMLCite \textit{P. Arrighi} and \textit{G. Dowek}, Int. J. Found. Comput. Sci. 23, No. 5, 1131--1146 (2012; Zbl 1279.68096) Full Text: DOI arXiv
Say, A. C. Cem; Yakaryilmaz, Abuzer Quantum counter automata. (English) Zbl 1279.68175 Int. J. Found. Comput. Sci. 23, No. 5, 1099-1116 (2012). MSC: 68Q45 68Q12 PDFBibTeX XMLCite \textit{A. C. C. Say} and \textit{A. Yakaryilmaz}, Int. J. Found. Comput. Sci. 23, No. 5, 1099--1116 (2012; Zbl 1279.68175) Full Text: DOI
Ranjan, Desh; Zubair, Mohammad Vertex isoperimetric parameter of a computation graph. (English) Zbl 1254.05070 Int. J. Found. Comput. Sci. 23, No. 4, 941-964 (2012). MSC: 05C20 05C85 PDFBibTeX XMLCite \textit{D. Ranjan} and \textit{M. Zubair}, Int. J. Found. Comput. Sci. 23, No. 4, 941--964 (2012; Zbl 1254.05070) Full Text: DOI
Bordihn, Henning; Kutrib, Martin; Malcher, Andreas On the computational capacity of parallel communicating finite automata. (English) Zbl 1279.68133 Int. J. Found. Comput. Sci. 23, No. 3, 713-732 (2012). MSC: 68Q45 68Q10 PDFBibTeX XMLCite \textit{H. Bordihn} et al., Int. J. Found. Comput. Sci. 23, No. 3, 713--732 (2012; Zbl 1279.68133) Full Text: DOI
Abderrahim, Allani; Talbi, El-Ghazali; Khaled, Mellouli Hybridization of genetic and quantum algorithm for gene selection and classification of microarray data. (English) Zbl 1245.92016 Int. J. Found. Comput. Sci. 23, No. 2, 431-444 (2012). MSC: 92C40 68Q05 81P68 68Q12 PDFBibTeX XMLCite \textit{A. Abderrahim} et al., Int. J. Found. Comput. Sci. 23, No. 2, 431--444 (2012; Zbl 1245.92016) Full Text: DOI
Iliopoulos, Costas S.; Miller, Mirka; Pissis, Solon P. Parallel algorithms for mapping short degenerate and weighted DNA sequences to a reference genome. (English) Zbl 1250.92019 Int. J. Found. Comput. Sci. 23, No. 2, 249-259 (2012). MSC: 92C50 92C40 65Y05 68W10 68W32 PDFBibTeX XMLCite \textit{C. S. Iliopoulos} et al., Int. J. Found. Comput. Sci. 23, No. 2, 249--259 (2012; Zbl 1250.92019) Full Text: DOI
Domínguez, César; Duval, Dominique A parameterization process: from a functorial point of view. (English) Zbl 1269.68064 Int. J. Found. Comput. Sci. 23, No. 1, 225-242 (2012). Reviewer: Nelson Martins-Ferreira (Leiria) MSC: 68Q70 PDFBibTeX XMLCite \textit{C. Domínguez} and \textit{D. Duval}, Int. J. Found. Comput. Sci. 23, No. 1, 225--242 (2012; Zbl 1269.68064) Full Text: DOI
Prusinkiewicz, Przemyslaw; Shirmohammadi, Mitra; Samavati, Faramarz L-systems in geometric modeling. (English) Zbl 1254.68316 Int. J. Found. Comput. Sci. 23, No. 1, 133-146 (2012). Reviewer: Krzystof Gdawiec (Sosnowiec) MSC: 68U05 65D07 65D17 68Q42 PDFBibTeX XMLCite \textit{P. Prusinkiewicz} et al., Int. J. Found. Comput. Sci. 23, No. 1, 133--146 (2012; Zbl 1254.68316) Full Text: DOI arXiv
Brzozowski, Janusz; Li, Baiyu; Ye, Yuli On the complexity of the evaluation of transient extensions of Boolean functions. (English) Zbl 1246.68116 Int. J. Found. Comput. Sci. 23, No. 1, 21-35 (2012). MSC: 68Q05 94C10 68Q17 PDFBibTeX XMLCite \textit{J. Brzozowski} et al., Int. J. Found. Comput. Sci. 23, No. 1, 21--35 (2012; Zbl 1246.68116) Full Text: DOI
Kuppusamy, Lakshmanan; Mahendran, Anand; Krithivasan, Kamala On the ambiguity of insertion systems. (English) Zbl 1252.68117 Int. J. Found. Comput. Sci. 22, No. 7, 1747-1758 (2011). MSC: 68Q05 68Q45 68Q10 PDFBibTeX XMLCite \textit{L. Kuppusamy} et al., Int. J. Found. Comput. Sci. 22, No. 7, 1747--1758 (2011; Zbl 1252.68117) Full Text: DOI
Head, Tom Computing with light: toward parallel Boolean algebra. (English) Zbl 1252.68116 Int. J. Found. Comput. Sci. 22, No. 7, 1625-1637 (2011). MSC: 68Q05 68W10 PDFBibTeX XMLCite \textit{T. Head}, Int. J. Found. Comput. Sci. 22, No. 7, 1625--1637 (2011; Zbl 1252.68116) Full Text: DOI
Brijder, Robert; Ehrenfeucht, Andrzej; Main, Michael; Rozenberg, Grzegorz A tour of reaction systems. (English) Zbl 1252.68115 Int. J. Found. Comput. Sci. 22, No. 7, 1499-1517 (2011). MSC: 68Q05 68Q10 68Q85 PDFBibTeX XMLCite \textit{R. Brijder} et al., Int. J. Found. Comput. Sci. 22, No. 7, 1499--1517 (2011; Zbl 1252.68115) Full Text: DOI
Diekert, Volker; Kopecki, Steffen It is NL-complete to decide whether a hairpin completion of regular languages is regular. (English) Zbl 1255.68070 Int. J. Found. Comput. Sci. 22, No. 8, 1813-1828 (2011). MSC: 68Q17 68Q45 68Q10 PDFBibTeX XMLCite \textit{V. Diekert} and \textit{S. Kopecki}, Int. J. Found. Comput. Sci. 22, No. 8, 1813--1828 (2011; Zbl 1255.68070) Full Text: DOI
Moreno Maza, Marc; Xie, Yuzhen Balanced dense polynomial multiplication on multi-cores. (English) Zbl 1222.68416 Int. J. Found. Comput. Sci. 22, No. 5, 1035-1055 (2011). MSC: 68W30 68-04 68W10 PDFBibTeX XMLCite \textit{M. Moreno Maza} and \textit{Y. Xie}, Int. J. Found. Comput. Sci. 22, No. 5, 1035--1055 (2011; Zbl 1222.68416) Full Text: DOI
Li, Yamin; Peng, Shietung; Chu, Wanming Disjoint-paths and fault-tolerant routing on recursive dual-net. (English) Zbl 1222.68044 Int. J. Found. Comput. Sci. 22, No. 5, 1001-1018 (2011). MSC: 68M14 68Q10 68M15 PDFBibTeX XMLCite \textit{Y. Li} et al., Int. J. Found. Comput. Sci. 22, No. 5, 1001--1018 (2011; Zbl 1222.68044) Full Text: DOI
Sun, Wei Population size modeling for GA in time-critical task scheduling. (English) Zbl 1211.68206 Int. J. Found. Comput. Sci. 22, No. 3, 603-620 (2011). MSC: 68Q10 68M20 68T20 PDFBibTeX XMLCite \textit{W. Sun}, Int. J. Found. Comput. Sci. 22, No. 3, 603--620 (2011; Zbl 1211.68206) Full Text: DOI
Fujiwara, Akihiro; Tateishi, Takeshi Logic and arithmetic operations with a constant number of steps in membrane computing. (English) Zbl 1216.68109 Int. J. Found. Comput. Sci. 22, No. 3, 547-564 (2011). MSC: 68Q05 68Q10 PDFBibTeX XMLCite \textit{A. Fujiwara} and \textit{T. Tateishi}, Int. J. Found. Comput. Sci. 22, No. 3, 547--564 (2011; Zbl 1216.68109) Full Text: DOI
Petersen, Holger Simulations by time-bounded counter machines. (English) Zbl 1219.68101 Int. J. Found. Comput. Sci. 22, No. 2, 395-409 (2011). MSC: 68Q05 PDFBibTeX XMLCite \textit{H. Petersen}, Int. J. Found. Comput. Sci. 22, No. 2, 395--409 (2011; Zbl 1219.68101) Full Text: DOI
Calude, Cristian S.; Cavaliere, Matteo; Mardare, Radu An observer-based de-quantisation of Deutsch’s algorithm. (English) Zbl 1232.68050 Int. J. Found. Comput. Sci. 22, No. 1, 191-201 (2011). Reviewer: Gernot Schaller (Berlin) MSC: 68Q12 81P68 PDFBibTeX XMLCite \textit{C. S. Calude} et al., Int. J. Found. Comput. Sci. 22, No. 1, 191--201 (2011; Zbl 1232.68050) Full Text: DOI
Frisco, Pierluigi; Hoogeboom, Hendrik Jan P systems and topology: some suggestions for research. (English) Zbl 1213.68260 Int. J. Found. Comput. Sci. 22, No. 1, 179-190 (2011). MSC: 68Q05 68Q10 68Q85 PDFBibTeX XMLCite \textit{P. Frisco} and \textit{H. J. Hoogeboom}, Int. J. Found. Comput. Sci. 22, No. 1, 179--190 (2011; Zbl 1213.68260) Full Text: DOI
Ehrenfeucht, Andrzej; Main, Michael; Rozenberg, Grzegorz Functions defined by reaction systems. (English) Zbl 1213.68259 Int. J. Found. Comput. Sci. 22, No. 1, 167-178 (2011). MSC: 68Q05 68Q19 92C40 PDFBibTeX XMLCite \textit{A. Ehrenfeucht} et al., Int. J. Found. Comput. Sci. 22, No. 1, 167--178 (2011; Zbl 1213.68259) Full Text: DOI
Arroyo Montoro, Fernando; Castellanos, Juan; Mitrana, Victor; Santos, Eugenio; Sempere, Jose M. Filter position in networks of substitution processors does not matter. (English) Zbl 1213.68255 Int. J. Found. Comput. Sci. 22, No. 1, 155-165 (2011). MSC: 68Q05 68Q10 PDFBibTeX XMLCite \textit{F. Arroyo Montoro} et al., Int. J. Found. Comput. Sci. 22, No. 1, 155--165 (2011; Zbl 1213.68255) Full Text: DOI
Alhazov, Artiom; Kogler, Marian; Margenstern, Maurice; Rogozhin, Yurii; Verlan, Sergey Small universal TVDH and test tube systems. (English) Zbl 1213.68271 Int. J. Found. Comput. Sci. 22, No. 1, 143-154 (2011). MSC: 68Q10 PDFBibTeX XMLCite \textit{A. Alhazov} et al., Int. J. Found. Comput. Sci. 22, No. 1, 143--154 (2011; Zbl 1213.68271) Full Text: DOI
Ipate, Florentin; Lefticaru, Raluca; Tudose, Cristina Formal verification of P systems using Spin. (English) Zbl 1213.68273 Int. J. Found. Comput. Sci. 22, No. 1, 133-142 (2011). MSC: 68Q10 68Q05 68Q60 PDFBibTeX XMLCite \textit{F. Ipate} et al., Int. J. Found. Comput. Sci. 22, No. 1, 133--142 (2011; Zbl 1213.68273) Full Text: DOI
Barbuti, Roberto; Maggiolo-Schettini, Andrea; Milazzo, Paolo; Tini, Simone An overview on operational semantics in membrane computing. (English) Zbl 1213.68357 Int. J. Found. Comput. Sci. 22, No. 1, 119-131 (2011). MSC: 68Q55 68Q05 68Q85 PDFBibTeX XMLCite \textit{R. Barbuti} et al., Int. J. Found. Comput. Sci. 22, No. 1, 119--131 (2011; Zbl 1213.68357) Full Text: DOI
Martínez-Del-Amor, M. A.; Pérez-Hurtado, I.; Pérez-Jiménez, M. J.; Riscos-Núñez, A.; Sancho-Caparrini, F. A simulation algorithm for multienvironment probabilistic P systems: a formal verification. (English) Zbl 1213.68383 Int. J. Found. Comput. Sci. 22, No. 1, 107-118 (2011). MSC: 68Q60 68Q05 92D25 PDFBibTeX XMLCite \textit{M. A. Martínez-Del-Amor} et al., Int. J. Found. Comput. Sci. 22, No. 1, 107--118 (2011; Zbl 1213.68383) Full Text: DOI
Manca, Vincenzo; Marchetti, Luca Log-gain stoichiometric stepwise regression for MP systems. (English) Zbl 1213.68267 Int. J. Found. Comput. Sci. 22, No. 1, 97-106 (2011). MSC: 68Q05 62J05 PDFBibTeX XMLCite \textit{V. Manca} and \textit{L. Marchetti}, Int. J. Found. Comput. Sci. 22, No. 1, 97--106 (2011; Zbl 1213.68267) Full Text: DOI
Sosík, Petr; Rodríguez-Patón, Alfonso; Cienciala, Luděk On the power of families of recognizer spiking neural P systems. (English) Zbl 1213.68277 Int. J. Found. Comput. Sci. 22, No. 1, 75-88 (2011). MSC: 68Q10 68Q15 68Q17 PDFBibTeX XMLCite \textit{P. Sosík} et al., Int. J. Found. Comput. Sci. 22, No. 1, 75--88 (2011; Zbl 1213.68277) Full Text: DOI
Porreca, Antonio E.; Leporati, Alberto; Mauri, Giancarlo; Zandron, Claudio P systems with active membranes working in polynomial space. (English) Zbl 1213.68269 Int. J. Found. Comput. Sci. 22, No. 1, 65-73 (2011). MSC: 68Q05 68Q10 68Q15 PDFBibTeX XMLCite \textit{A. E. Porreca} et al., Int. J. Found. Comput. Sci. 22, No. 1, 65--73 (2011; Zbl 1213.68269) Full Text: DOI