Morogan, Luciana Maria Information coding in the new computational models. DNA based computing and membrane computing. (Romanian. English summary) Zbl 1405.68123 An. Univ. Spiru Haret, Ser. Mat.-Inform. 2, 59-72 (2006). MSC: 68Q05 68Q10 PDFBibTeX XMLCite \textit{L. M. Morogan}, An. Univ. Spiru Haret, Ser. Mat.-Inform. 2, 59--72 (2006; Zbl 1405.68123)
Blass, Andreas; Gurevich, Yuri Ordinary interactive small-step algorithms. I. (English) Zbl 1367.68094 ACM Trans. Comput. Log. 7, No. 2, 363-419 (2006). MSC: 68Q05 03B70 68Q10 68W01 PDFBibTeX XMLCite \textit{A. Blass} and \textit{Y. Gurevich}, ACM Trans. Comput. Log. 7, No. 2, 363--419 (2006; Zbl 1367.68094) Full Text: DOI
Japaridze, Giorgi Propositional computability logic. II. (English) Zbl 1367.03057 ACM Trans. Comput. Log. 7, No. 2, 331-362 (2006). MSC: 03B70 03F52 68Q05 68Q10 91A80 PDFBibTeX XMLCite \textit{G. Japaridze}, ACM Trans. Comput. Log. 7, No. 2, 331--362 (2006; Zbl 1367.03057) Full Text: DOI arXiv
Japaridze, Giorgi Propositional computability logic. I. (English) Zbl 1367.03056 ACM Trans. Comput. Log. 7, No. 2, 302-330 (2006). MSC: 03B70 03F52 68Q05 68Q10 91A80 PDFBibTeX XMLCite \textit{G. Japaridze}, ACM Trans. Comput. Log. 7, No. 2, 302--330 (2006; Zbl 1367.03056) Full Text: DOI arXiv
Holtby, Dan; Kapron, Bruce M.; King, Valerie Lower bound for scalable Byzantine agreement. (English) Zbl 1314.68144 Proceedings of the 25th annual ACM symposium on principles of distributed computing, PODC ’06, Denver, CO, USA, July 23–26, 2006. New York, NY: Association for Computing Machinery (ACM) (ISBN 1-59593-384-0). 285-291 (2006). MSC: 68Q17 68M14 68M15 68Q05 68Q87 PDFBibTeX XMLCite \textit{D. Holtby} et al., in: Proceedings of the 25th annual ACM symposium on principles of distributed computing, PODC '06, Denver, CO, USA, July 23--26, 2006. New York, NY: Association for Computing Machinery (ACM). 285--291 (2006; Zbl 1314.68144) Full Text: DOI
Andrei, Oana; Lucanu, Dorel; Ciobanu, Gabriel Operational semantics and rewriting logic in membrane computing. (English) Zbl 1273.68201 Mosses, Peter (ed.) et al., Proceedings of the 2nd workshop on structural operational semantics (SOS 2005), Lisbon, Portugal, July 10, 2005. Amsterdam: Elsevier. Electronic Notes in Theoretical Computer Science 156, No. 1, 57-78 (2006). MSC: 68Q55 68Q05 68Q10 68Q42 PDFBibTeX XMLCite \textit{O. Andrei} et al., Electron. Notes Theor. Comput. Sci. 156, No. 1, 57--78 (2006; Zbl 1273.68201) Full Text: Link
Japaridze, Giorgi Computability logic: a formal theory of interaction. (English) Zbl 1266.03046 Goldin, Dina (ed.) et al., Interactive computation. The new paradigm. Berlin: Springer (ISBN 3-540-34666-X/hbk). 183-223 (2006). MSC: 03B70 68Q05 68Q10 68Q85 PDFBibTeX XMLCite \textit{G. Japaridze}, in: Interactive computation. The new paradigm. Berlin: Springer. 183--223 (2006; Zbl 1266.03046) Full Text: DOI arXiv
van Leeuwen, Jan; Wiedermann, Jiří A theory of interactive computation. (English) Zbl 1266.68115 Goldin, Dina (ed.) et al., Interactive computation. The new paradigm. Berlin: Springer (ISBN 3-540-34666-X/hbk). 119-142 (2006). MSC: 68Q10 68Q05 68Q45 68Q85 PDFBibTeX XMLCite \textit{J. van Leeuwen} and \textit{J. Wiedermann}, in: Interactive computation. The new paradigm. Berlin: Springer. 119--142 (2006; Zbl 1266.68115) Full Text: DOI
Goldin, Dina; Wegner, Peter Principles of interactive computation. (English) Zbl 1266.68110 Goldin, Dina (ed.) et al., Interactive computation. The new paradigm. Berlin: Springer (ISBN 3-540-34666-X/hbk). 25-37 (2006). MSC: 68Q01 68T01 03A10 68Q05 68Q10 PDFBibTeX XMLCite \textit{D. Goldin} and \textit{P. Wegner}, in: Interactive computation. The new paradigm. Berlin: Springer. 25--37 (2006; Zbl 1266.68110) Full Text: DOI
Vlad, Serban E. On the fundamental mode. (English) Zbl 1265.93182 ROMAI J. 2, No. 2, 205-226 (2006). MSC: 93C62 93D25 68Q05 68Q10 PDFBibTeX XMLCite \textit{S. E. Vlad}, ROMAI J. 2, No. 2, 205--226 (2006; Zbl 1265.93182)
Asarin, Eugene Does Church-Turing thesis apply outside computer science? (English) Zbl 1204.68092 Dumas, Jean-Guillaume (ed.), Transgressive computing 2006. A conference in honor of Jean Della Dora, Granada, España, April 24–26, 2006. Proceedings. Granada: Universidad de Granada (ISBN 84-689-8381-0/pbk). 15-18 (2006). MSC: 68Q05 68Q10 PDFBibTeX XMLCite \textit{E. Asarin}, in: Transgressive computing 2006. A conference in honor of Jean Della Dora, Granada, España, April 24--26, 2006. Proceedings. Granada: Universidad de Granada. 15--18 (2006; Zbl 1204.68092)
Pescini, Dario; Besozzi, Daniela; Zandron, Claudio; Mauri, Giancarlo Analysis and simulation of dynamics in probabilistic P systems. (English) Zbl 1234.68116 Carbone, Alessandra (ed.) et al., DNA computing. 11th international workshops on DNA computing, DNA11, London, ON, Canada, June 6–9, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34161-7/pbk). Lecture Notes in Computer Science 3892, 236-247 (2006). MSC: 68Q10 68Q05 PDFBibTeX XMLCite \textit{D. Pescini} et al., Lect. Notes Comput. Sci. 3892, 236--247 (2006; Zbl 1234.68116) Full Text: DOI
Onodera, Kaoru; Yokomori, Takashi Linearizer and doubler: Two mappings to unify molecular computing models based on DNA complementarity. (English) Zbl 1234.68115 Carbone, Alessandra (ed.) et al., DNA computing. 11th international workshops on DNA computing, DNA11, London, ON, Canada, June 6–9, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34161-7/pbk). Lecture Notes in Computer Science 3892, 224-235 (2006). MSC: 68Q10 68Q05 PDFBibTeX XMLCite \textit{K. Onodera} and \textit{T. Yokomori}, Lect. Notes Comput. Sci. 3892, 224--235 (2006; Zbl 1234.68115) Full Text: DOI
Krishna, Shankara Narayanan Communicating distributed H systems: Optimal results with efficient ways of communication. (English) Zbl 1234.68114 Carbone, Alessandra (ed.) et al., DNA computing. 11th international workshops on DNA computing, DNA11, London, ON, Canada, June 6–9, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34161-7/pbk). Lecture Notes in Computer Science 3892, 181-192 (2006). MSC: 68Q10 68Q05 PDFBibTeX XMLCite \textit{S. N. Krishna}, Lect. Notes Comput. Sci. 3892, 181--192 (2006; Zbl 1234.68114) Full Text: DOI
Kijima, Atsushi; Kobayashi, Satoshi Efficient algorithm for testing structure freeness of finite set of biomolecular sequences. (English) Zbl 1234.68113 Carbone, Alessandra (ed.) et al., DNA computing. 11th international workshops on DNA computing, DNA11, London, ON, Canada, June 6–9, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34161-7/pbk). Lecture Notes in Computer Science 3892, 171-180 (2006). MSC: 68Q10 68Q05 68Q25 92D20 PDFBibTeX XMLCite \textit{A. Kijima} and \textit{S. Kobayashi}, Lect. Notes Comput. Sci. 3892, 171--180 (2006; Zbl 1234.68113) Full Text: DOI
Ibarra, Oscar H.; Woodworth, Sara On bounded symport/antiport P systems. (English) Zbl 1234.68112 Carbone, Alessandra (ed.) et al., DNA computing. 11th international workshops on DNA computing, DNA11, London, ON, Canada, June 6–9, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34161-7/pbk). Lecture Notes in Computer Science 3892, 129-143 (2006). MSC: 68Q10 68Q05 68Q45 PDFBibTeX XMLCite \textit{O. H. Ibarra} and \textit{S. Woodworth}, Lect. Notes Comput. Sci. 3892, 129--143 (2006; Zbl 1234.68112) Full Text: DOI
Ibarra, Oscar H.; Păun, Andrei Counting time in computing with cells. (English) Zbl 1234.68111 Carbone, Alessandra (ed.) et al., DNA computing. 11th international workshops on DNA computing, DNA11, London, ON, Canada, June 6–9, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34161-7/pbk). Lecture Notes in Computer Science 3892, 112-128 (2006). MSC: 68Q10 68Q05 PDFBibTeX XMLCite \textit{O. H. Ibarra} and \textit{A. Păun}, Lect. Notes Comput. Sci. 3892, 112--128 (2006; Zbl 1234.68111) Full Text: DOI
Harju, Tero; Petre, Ion; Rogojin, Vladimir; Rozenberg, Grzegorz Simple operations for gene assembly. (English) Zbl 1234.68110 Carbone, Alessandra (ed.) et al., DNA computing. 11th international workshops on DNA computing, DNA11, London, ON, Canada, June 6–9, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34161-7/pbk). Lecture Notes in Computer Science 3892, 96-111 (2006). MSC: 68Q10 68Q05 68R10 92D10 PDFBibTeX XMLCite \textit{T. Harju} et al., Lect. Notes Comput. Sci. 3892, 96--111 (2006; Zbl 1234.68110) Full Text: DOI
Frisco, Pierluigi; Henkel, Christiaan; Tengely, Szabolcs An algorithm for SAT without an extraction phase. (English) Zbl 1234.68457 Carbone, Alessandra (ed.) et al., DNA computing. 11th international workshops on DNA computing, DNA11, London, ON, Canada, June 6–9, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34161-7/pbk). Lecture Notes in Computer Science 3892, 67-80 (2006). MSC: 68W05 68Q05 68Q10 PDFBibTeX XMLCite \textit{P. Frisco} et al., Lect. Notes Comput. Sci. 3892, 67--80 (2006; Zbl 1234.68457) Full Text: DOI
Franco, Giuditta; Manca, Vincenzo; Giagulli, Cinzia; Laudanna, Carlo DNA recombination by XPCR. (English) Zbl 1234.68109 Carbone, Alessandra (ed.) et al., DNA computing. 11th international workshops on DNA computing, DNA11, London, ON, Canada, June 6–9, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34161-7/pbk). Lecture Notes in Computer Science 3892, 55-66 (2006). MSC: 68Q10 68Q05 PDFBibTeX XMLCite \textit{G. Franco} et al., Lect. Notes Comput. Sci. 3892, 55--66 (2006; Zbl 1234.68109) Full Text: DOI
Daley, Mark; McQuillan, Ian On computational properties of template-guided DNA recombination. (English) Zbl 1234.68108 Carbone, Alessandra (ed.) et al., DNA computing. 11th international workshops on DNA computing, DNA11, London, ON, Canada, June 6–9, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34161-7/pbk). Lecture Notes in Computer Science 3892, 27-37 (2006). MSC: 68Q10 68Q05 PDFBibTeX XMLCite \textit{M. Daley} and \textit{I. McQuillan}, Lect. Notes Comput. Sci. 3892, 27--37 (2006; Zbl 1234.68108) Full Text: DOI
Cavaliere, Matteo; Jonoska, Nataša; Leupold, Peter Recognizing DNA splicing. (English) Zbl 1234.68107 Carbone, Alessandra (ed.) et al., DNA computing. 11th international workshops on DNA computing, DNA11, London, ON, Canada, June 6–9, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34161-7/pbk). Lecture Notes in Computer Science 3892, 12-26 (2006). MSC: 68Q10 68Q05 68Q45 PDFBibTeX XMLCite \textit{M. Cavaliere} et al., Lect. Notes Comput. Sci. 3892, 12--26 (2006; Zbl 1234.68107) Full Text: DOI
Baryshnikov, Yuliy; Coffman, Ed; Seeman, Nadrian; Yimwadsana, Teddy Self-correcting self-assembly: Growth models and the Hammersley process. (English) Zbl 1234.68106 Carbone, Alessandra (ed.) et al., DNA computing. 11th international workshops on DNA computing, DNA11, London, ON, Canada, June 6–9, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-34161-7/pbk). Lecture Notes in Computer Science 3892, 1-11 (2006). MSC: 68Q10 68Q05 68Q87 PDFBibTeX XMLCite \textit{Y. Baryshnikov} et al., Lect. Notes Comput. Sci. 3892, 1--11 (2006; Zbl 1234.68106) Full Text: DOI
Mao, Chengde (ed.); Yokomori, Takashi (ed.) DNA computing. 12th international meeting on DNA computing, DNA12, Seoul, Korea, June 5–9, 2006. Revised selected papers. (English) Zbl 1131.68011 Lecture Notes in Computer Science 4287. Berlin: Springer (ISBN 978-3-540-49024-1/pbk). xii, 440 p. (2006). MSC: 68-06 68Q10 68Q05 00B25 PDFBibTeX XMLCite \textit{C. Mao} (ed.) and \textit{T. Yokomori} (ed.), DNA computing. 12th international meeting on DNA computing, DNA12, Seoul, Korea, June 5--9, 2006. Revised selected papers. Berlin: Springer (2006; Zbl 1131.68011) Full Text: DOI
Goldstein, Darin; Kobayashi, Kojiro On the complexity of the “most general” firing squad synchronization problem. (English) Zbl 1136.68343 Durand, Bruno (ed.) et al., STACS 2006. 23rd annual symposium on theoretical aspects of computer science, Marseille, France, February 23–25, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-32301-3/pbk). Lecture Notes in Computer Science 3884, 696-711 (2006). MSC: 68M14 68M12 68Q05 68Q10 68Q25 68R10 PDFBibTeX XMLCite \textit{D. Goldstein} and \textit{K. Kobayashi}, Lect. Notes Comput. Sci. 3884, 696--711 (2006; Zbl 1136.68343) Full Text: DOI
Csuhaj-Varjú, Erzsébet; Kelemen, Jozef; Kelemenová, Alica; Păun, Gheorghe; Vaszil, György Computing with cells in environment: P colonies. (English) Zbl 1143.68399 J. Mult.-Val. Log. Soft Comput. 12, No. 3-4, 201-215 (2006). MSC: 68Q10 68Q32 68Q45 68Q05 PDFBibTeX XMLCite \textit{E. Csuhaj-Varjú} et al., J. Mult.-Val. Log. Soft Comput. 12, No. 3--4, 201--215 (2006; Zbl 1143.68399)
Kao, Ming-Yang Algorithmic DNA self-assembly. (English) Zbl 1136.68401 Cheng, Siu-Wing (ed.) et al., Algorithmic aspects in information and management. Second international conference, AAIM 2006, Hong Kong, China, June 20–22, 2006. Proceedings. Berlin: Springer (ISBN 3-540-35157-4/pbk). Lecture Notes in Computer Science 4041, 10 (2006). MSC: 68Q10 68Q05 52C20 52C45 92C40 92D20 PDFBibTeX XMLCite \textit{M.-Y. Kao}, Lect. Notes Comput. Sci. 4041, 10 (2006; Zbl 1136.68401) Full Text: DOI
Prokopenko, Mikhail; Polani, Daniel; Wang, Peter Optimizing potential information transfer with self-referential memory. (English) Zbl 1126.68434 Calude, C. S. (ed.) et al., Unconventional computation. 5th international conference, UC 2006, York, UK, September 4–8, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38593-6/pbk). Lecture Notes in Computer Science 4135, 228-242 (2006). MSC: 68Q05 68Q10 92D20 94A15 PDFBibTeX XMLCite \textit{M. Prokopenko} et al., Lect. Notes Comput. Sci. 4135, 228--242 (2006; Zbl 1126.68434) Full Text: DOI
Oltean, Mihai A light-based device for solving the Hamiltonian path problem. (English) Zbl 1126.68433 Calude, C. S. (ed.) et al., Unconventional computation. 5th international conference, UC 2006, York, UK, September 4–8, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38593-6/pbk). Lecture Notes in Computer Science 4135, 217-227 (2006). MSC: 68Q05 68Q10 05C38 68R10 PDFBibTeX XMLCite \textit{M. Oltean}, Lect. Notes Comput. Sci. 4135, 217--227 (2006; Zbl 1126.68433) Full Text: DOI
Krishna, Shankara Narayanan On pure catalytic P systems. (English) Zbl 1126.68431 Calude, C. S. (ed.) et al., Unconventional computation. 5th international conference, UC 2006, York, UK, September 4–8, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38593-6/pbk). Lecture Notes in Computer Science 4135, 152-165 (2006). MSC: 68Q05 68Q10 PDFBibTeX XMLCite \textit{S. N. Krishna}, Lect. Notes Comput. Sci. 4135, 152--165 (2006; Zbl 1126.68431) Full Text: DOI
Jonoska, Nataša; McColm, Gregory L. Flexible versus rigid tile assembly. (English) Zbl 1126.68430 Calude, C. S. (ed.) et al., Unconventional computation. 5th international conference, UC 2006, York, UK, September 4–8, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38593-6/pbk). Lecture Notes in Computer Science 4135, 139-151 (2006). MSC: 68Q05 68Q10 52C20 92D20 PDFBibTeX XMLCite \textit{N. Jonoska} and \textit{G. L. McColm}, Lect. Notes Comput. Sci. 4135, 139--151 (2006; Zbl 1126.68430) Full Text: DOI
Igarashi, Yasuhiro; Gorecki, Jerzy; Gorecka, Joanna Natalia Chemical information processing devices constructed using a nonlinear medium with controlled excitability. (English) Zbl 1126.68429 Calude, C. S. (ed.) et al., Unconventional computation. 5th international conference, UC 2006, York, UK, September 4–8, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38593-6/pbk). Lecture Notes in Computer Science 4135, 130-138 (2006). MSC: 68Q05 68Q10 94C10 PDFBibTeX XMLCite \textit{Y. Igarashi} et al., Lect. Notes Comput. Sci. 4135, 130--138 (2006; Zbl 1126.68429) Full Text: DOI
Ibarra, Oscar H.; Woodworth, Sara; Yu, Fang; Păun, Andrei On spiking neural P systems and partially blind counter machines. (English) Zbl 1126.68428 Calude, C. S. (ed.) et al., Unconventional computation. 5th international conference, UC 2006, York, UK, September 4–8, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38593-6/pbk). Lecture Notes in Computer Science 4135, 113-129 (2006). MSC: 68Q05 68Q10 PDFBibTeX XMLCite \textit{O. H. Ibarra} et al., Lect. Notes Comput. Sci. 4135, 113--129 (2006; Zbl 1126.68428) Full Text: DOI
Cardona, Mónica; Colomer, M. Angels; Pérez-Jiménez, Mario J.; Zaragoza, Alba Handling Markov chains with membrane computing. (English) Zbl 1126.68427 Calude, C. S. (ed.) et al., Unconventional computation. 5th international conference, UC 2006, York, UK, September 4–8, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38593-6/pbk). Lecture Notes in Computer Science 4135, 72-85 (2006). MSC: 68Q05 68Q10 PDFBibTeX XMLCite \textit{M. Cardona} et al., Lect. Notes Comput. Sci. 4135, 72--85 (2006; Zbl 1126.68427) Full Text: DOI Link
Balan, M. Sakthi; Jürgensen, Helmut Peptide computing – universality and theoretical model. (English) Zbl 1126.68426 Calude, C. S. (ed.) et al., Unconventional computation. 5th international conference, UC 2006, York, UK, September 4–8, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38593-6/pbk). Lecture Notes in Computer Science 4135, 57-71 (2006). MSC: 68Q05 68Q10 92C40 PDFBibTeX XMLCite \textit{M. S. Balan} and \textit{H. Jürgensen}, Lect. Notes Comput. Sci. 4135, 57--71 (2006; Zbl 1126.68426) Full Text: DOI
Abbott, Russ If a tree casts a shadow is it telling the time? (English) Zbl 1126.68425 Calude, C. S. (ed.) et al., Unconventional computation. 5th international conference, UC 2006, York, UK, September 4–8, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38593-6/pbk). Lecture Notes in Computer Science 4135, 41-56 (2006). MSC: 68Q05 68Q10 PDFBibTeX XMLCite \textit{R. Abbott}, Lect. Notes Comput. Sci. 4135, 41--56 (2006; Zbl 1126.68425) Full Text: DOI arXiv
Woods, Damien Optical computing and computational complexity. (English) Zbl 1126.68436 Calude, C. S. (ed.) et al., Unconventional computation. 5th international conference, UC 2006, York, UK, September 4–8, 2006. Proceedings. Berlin: Springer (ISBN 978-3-540-38593-6/pbk). Lecture Notes in Computer Science 4135, 27-40 (2006). MSC: 68Q05 68Q10 68Q15 PDFBibTeX XMLCite \textit{D. Woods}, Lect. Notes Comput. Sci. 4135, 27--40 (2006; Zbl 1126.68436) Full Text: DOI
Calude, C. S. (ed.); Dinneen, M. J. (ed.); Păun, G. (ed.); Rozenberg, G. (ed.); Stepney, S. (ed.) Unconventional computation. 5th international conference, UC 2006, York, UK, September 4–8, 2006. Proceedings. (English) Zbl 1123.68004 Lecture Notes in Computer Science 4135. Berlin: Springer (ISBN 978-3-540-38593-6/pbk). x, 266 p. (2006). MSC: 68-06 68Q05 68Q10 00B25 PDFBibTeX XMLCite \textit{C. S. Calude} (ed.) et al., Unconventional computation. 5th international conference, UC 2006, York, UK, September 4--8, 2006. Proceedings. Berlin: Springer (2006; Zbl 1123.68004) Full Text: DOI
Xiao, Guozhen; Lu, Mingxin DNA computation and DNA cryptography. (Chinese. English summary) Zbl 1122.68444 Chin. J. Eng. Math. 23, No. 1, 1-6 (2006). MSC: 68Q10 94A60 68Q05 PDFBibTeX XMLCite \textit{G. Xiao} and \textit{M. Lu}, Chin. J. Eng. Math. 23, No. 1, 1--6 (2006; Zbl 1122.68444)
Hemaspaandra, Lane A.; Homan, Christopher M.; Kosub, Sven; Wagner, Klaus W. The complexity of computing the size of an interval. (English) Zbl 1123.68041 SIAM J. Comput. 36, No. 5, 1264-1300 (2006). MSC: 68Q15 03D15 06A06 68Q05 68Q10 68Q17 PDFBibTeX XMLCite \textit{L. A. Hemaspaandra} et al., SIAM J. Comput. 36, No. 5, 1264--1300 (2006; Zbl 1123.68041) Full Text: DOI
He, Jifeng; Sanders, J. W. Unifying probability. (English) Zbl 1186.68197 Dunne, Steve (ed.) et al., Unifying theories of programming. First international symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5–7, 2006. Revised selected papers. Berlin: Springer (ISBN 978-3-540-34750-7/pbk). Lecture Notes in Computer Science 4010, 173-199 (2006). MSC: 68Q05 68N30 68Q10 68Q87 81P68 94A60 PDFBibTeX XMLCite \textit{J. He} and \textit{J. W. Sanders}, Lect. Notes Comput. Sci. 4010, 173--199 (2006; Zbl 1186.68197) Full Text: DOI
Stoddart, Bill; Zeyda, Frank; Lynas, Robert A design-based model of reversible computation. (English) Zbl 1186.68201 Dunne, Steve (ed.) et al., Unifying theories of programming. First international symposium, UTP 2006, Walworth Castle, County Durham, UK, February 5–7, 2006. Revised selected papers. Berlin: Springer (ISBN 978-3-540-34750-7/pbk). Lecture Notes in Computer Science 4010, 63-83 (2006). MSC: 68Q05 68N30 68Q10 PDFBibTeX XMLCite \textit{B. Stoddart} et al., Lect. Notes Comput. Sci. 4010, 63--83 (2006; Zbl 1186.68201) Full Text: DOI
Di Pierro, Alessandra; Hankin, Chris; Wiklicky, Herbert On a probabilistic chemical abstract machine and the expressiveness of Linda languages. (English) Zbl 1196.68081 de Boer, Frank S. (ed.) et al., Formal methods for components and objects. 4th international symposium, FMCO 2005, Amsterdam, The Netherlands, November 1–4, 2005. Revised lectures. Berlin: Springer (ISBN 3-540-36749-7/pbk). Lecture Notes in Computer Science 4111, 388-407 (2006). MSC: 68Q05 68Q10 68Q87 PDFBibTeX XMLCite \textit{A. Di Pierro} et al., Lect. Notes Comput. Sci. 4111, 388--407 (2006; Zbl 1196.68081) Full Text: DOI
Brijder, Robert; Cavaliere, Matteo; Riscos-Núñez, Agustín; Rozenberg, Grzegorz; Sburlan, Dragoş Membrane systems with external control. (English) Zbl 1187.68227 Hoogeboom, Hendrik Jan (ed.) et al., Membrane computing. 7th international workshop, WMC 2006, Leiden, The Netherlands, July 17–21, 2006. Revised, selected and invited papers. Berlin: Springer (ISBN 978-3-540-69088-7/pbk). Lecture Notes in Computer Science 4361, 215-232 (2006). MSC: 68Q10 68Q05 PDFBibTeX XMLCite \textit{R. Brijder} et al., Lect. Notes Comput. Sci. 4361, 215--232 (2006; Zbl 1187.68227) Full Text: DOI Link
Busi, Nadia; Zandron, Claudio Computing with genetic gates, proteins, and membranes. (English) Zbl 1187.68229 Hoogeboom, Hendrik Jan (ed.) et al., Membrane computing. 7th international workshop, WMC 2006, Leiden, The Netherlands, July 17–21, 2006. Revised, selected and invited papers. Berlin: Springer (ISBN 978-3-540-69088-7/pbk). Lecture Notes in Computer Science 4361, 250-265 (2006). MSC: 68Q10 68Q05 PDFBibTeX XMLCite \textit{N. Busi} and \textit{C. Zandron}, Lect. Notes Comput. Sci. 4361, 250--265 (2006; Zbl 1187.68229) Full Text: DOI
Alhazov, Artiom; Freund, Rudolf; Oswald, Marion; Slavkovik, Marija Extended spiking neural P systems. (English) Zbl 1187.68221 Hoogeboom, Hendrik Jan (ed.) et al., Membrane computing. 7th international workshop, WMC 2006, Leiden, The Netherlands, July 17–21, 2006. Revised, selected and invited papers. Berlin: Springer (ISBN 978-3-540-69088-7/pbk). Lecture Notes in Computer Science 4361, 123-134 (2006). MSC: 68Q10 68Q05 PDFBibTeX XMLCite \textit{A. Alhazov} et al., Lect. Notes Comput. Sci. 4361, 123--134 (2006; Zbl 1187.68221) Full Text: DOI
Frisco, Pierluigi Infinite hierarchies of conformon-P systems. (English) Zbl 1187.68234 Hoogeboom, Hendrik Jan (ed.) et al., Membrane computing. 7th international workshop, WMC 2006, Leiden, The Netherlands, July 17–21, 2006. Revised, selected and invited papers. Berlin: Springer (ISBN 978-3-540-69088-7/pbk). Lecture Notes in Computer Science 4361, 395-408 (2006). MSC: 68Q10 68Q05 PDFBibTeX XMLCite \textit{P. Frisco}, Lect. Notes Comput. Sci. 4361, 395--408 (2006; Zbl 1187.68234) Full Text: DOI Link
Ibarra, Oscar H.; Woodworth, Sara Characterizations of some restricted spiking neural P systems. (English) Zbl 1187.68238 Hoogeboom, Hendrik Jan (ed.) et al., Membrane computing. 7th international workshop, WMC 2006, Leiden, The Netherlands, July 17–21, 2006. Revised, selected and invited papers. Berlin: Springer (ISBN 978-3-540-69088-7/pbk). Lecture Notes in Computer Science 4361, 424-442 (2006). MSC: 68Q10 68Q05 68Q45 PDFBibTeX XMLCite \textit{O. H. Ibarra} and \textit{S. Woodworth}, Lect. Notes Comput. Sci. 4361, 424--442 (2006; Zbl 1187.68238) Full Text: DOI Link
Nagda, Hitesh; Păun, Andrei; Rodríguez-Patón, Alfonso P systems with symport/antiport and time. (English) Zbl 1187.68241 Hoogeboom, Hendrik Jan (ed.) et al., Membrane computing. 7th international workshop, WMC 2006, Leiden, The Netherlands, July 17–21, 2006. Revised, selected and invited papers. Berlin: Springer (ISBN 978-3-540-69088-7/pbk). Lecture Notes in Computer Science 4361, 463-476 (2006). MSC: 68Q10 68Q05 PDFBibTeX XMLCite \textit{H. Nagda} et al., Lect. Notes Comput. Sci. 4361, 463--476 (2006; Zbl 1187.68241) Full Text: DOI
Bernardini, Francesco; Freund, Rudolf Tissue P systems with communication modes. (English) Zbl 1187.68225 Hoogeboom, Hendrik Jan (ed.) et al., Membrane computing. 7th international workshop, WMC 2006, Leiden, The Netherlands, July 17–21, 2006. Revised, selected and invited papers. Berlin: Springer (ISBN 978-3-540-69088-7/pbk). Lecture Notes in Computer Science 4361, 170-182 (2006). MSC: 68Q10 68Q05 PDFBibTeX XMLCite \textit{F. Bernardini} and \textit{R. Freund}, Lect. Notes Comput. Sci. 4361, 170--182 (2006; Zbl 1187.68225) Full Text: DOI
Busi, Nadia; Gutiérrez-Naranjo, Miguel A. A case study in (mem)brane computation: generating squares of natural numbers. (English) Zbl 1187.68228 Hoogeboom, Hendrik Jan (ed.) et al., Membrane computing. 7th international workshop, WMC 2006, Leiden, The Netherlands, July 17–21, 2006. Revised, selected and invited papers. Berlin: Springer (ISBN 978-3-540-69088-7/pbk). Lecture Notes in Computer Science 4361, 233-249 (2006). MSC: 68Q10 68Q05 PDFBibTeX XMLCite \textit{N. Busi} and \textit{M. A. Gutiérrez-Naranjo}, Lect. Notes Comput. Sci. 4361, 233--249 (2006; Zbl 1187.68228) Full Text: DOI
Ciobanu, Gabriel; Gontineac, Mihai P machines: an automata approach to membrane computing. (English) Zbl 1187.68231 Hoogeboom, Hendrik Jan (ed.) et al., Membrane computing. 7th international workshop, WMC 2006, Leiden, The Netherlands, July 17–21, 2006. Revised, selected and invited papers. Berlin: Springer (ISBN 978-3-540-69088-7/pbk). Lecture Notes in Computer Science 4361, 314-329 (2006). MSC: 68Q10 68Q05 68Q45 PDFBibTeX XMLCite \textit{G. Ciobanu} and \textit{M. Gontineac}, Lect. Notes Comput. Sci. 4361, 314--329 (2006; Zbl 1187.68231) Full Text: DOI
Csuhaj-Varjú, Erzsébet; Margenstern, Maurice; Vaszil, György P colonies with a bounded number of cells and programs. (English) Zbl 1187.68232 Hoogeboom, Hendrik Jan (ed.) et al., Membrane computing. 7th international workshop, WMC 2006, Leiden, The Netherlands, July 17–21, 2006. Revised, selected and invited papers. Berlin: Springer (ISBN 978-3-540-69088-7/pbk). Lecture Notes in Computer Science 4361, 352-366 (2006). MSC: 68Q10 68Q05 PDFBibTeX XMLCite \textit{E. Csuhaj-Varjú} et al., Lect. Notes Comput. Sci. 4361, 352--366 (2006; Zbl 1187.68232) Full Text: DOI
Verlan, Sergey; Bernardini, Francesco; Gheorghe, Marian; Margenstern, Maurice Computational completeness of tissue P systems with conditional uniport. (English) Zbl 1187.68244 Hoogeboom, Hendrik Jan (ed.) et al., Membrane computing. 7th international workshop, WMC 2006, Leiden, The Netherlands, July 17–21, 2006. Revised, selected and invited papers. Berlin: Springer (ISBN 978-3-540-69088-7/pbk). Lecture Notes in Computer Science 4361, 521-535 (2006). MSC: 68Q10 68Q05 PDFBibTeX XMLCite \textit{S. Verlan} et al., Lect. Notes Comput. Sci. 4361, 521--535 (2006; Zbl 1187.68244) Full Text: DOI
Gebremedhin, Assefaw Hadish; Essaïdi, Mohamed; Guérin Lassous, Isabelle; Gustedt, Jens; Telle, Jan Arne PRO: a model for the design and analysis of efficient and scalable parallel algorithms. (English) Zbl 1123.68140 Nord. J. Comput. 13, No. 4, 215-239 (2006). MSC: 68W10 68Q10 68Q05 68Q25 PDFBibTeX XMLCite \textit{A. H. Gebremedhin} et al., Nord. J. Comput. 13, No. 4, 215--239 (2006; Zbl 1123.68140)
Frenţescu, Laura Arithmetics with P-machines. (English) Zbl 1119.68104 Grebenicov, E. (ed.) et al., CERMCS international conference of young scientists affiliated to the international conference on computer algebra in scientific computing 2006, (CASC 2006), Chişinău, Moldova, September 11–15, 2006. Communications. Chişinău: State University of Moldova, Centre of Education and Research in Mathematics and Computer Science, CERMCS; Chişinău: Tech. Univ. of Moldova (ISBN 978-9975-70-677-3/pbk). 86-92 (2006). Reviewer: Alex Nabebin (Moskva) MSC: 68Q45 68Q05 68Q10 PDFBibTeX XMLCite \textit{L. Frenţescu}, in: CERMCS international conference of young scientists affiliated to the international conference on computer algebra in scientific computing 2006, (CASC 2006), Chişinău, Moldova, September 11--15, 2006. Communications. Chişinău: State University of Moldova, Centre of Education and Research in Mathematics and Computer Science, CERMCS; Chişinău: Tech. Univ. of Moldova. 86--92 (2006; Zbl 1119.68104)
Bonchiş, Cosmin; Ciobanu, Gabriel; Izbaşa, Cornel Encodings and arithmetic operations in membrane computing. (English) Zbl 1178.68252 Cai, Jin-Yi (ed.) et al., Theory and applications of models of computation. Third international conference, TAMC 2006, Beijing, China, May 15–20, 2006. Proceedings. Berlin: Springer (ISBN 3-540-34021-1/pbk). Lecture Notes in Computer Science 3959, 621-630 (2006). MSC: 68Q05 68Q10 PDFBibTeX XMLCite \textit{C. Bonchiş} et al., Lect. Notes Comput. Sci. 3959, 621--630 (2006; Zbl 1178.68252) Full Text: DOI
Krishna, Shankara Narayanan Upper and lower bounds for the computational power of P systems with mobile membranes. (English) Zbl 1145.68414 Beckmann, Arnold (ed.) et al., Logical approaches to computational barriers. Second conference on computability in Europe, CiE 2006, Swansea, UK, June 30–July 5, 2006. Proceedings. Berlin: Springer (ISBN 3-540-35466-2/pbk). Lecture Notes in Computer Science 3988, 526-535 (2006). MSC: 68Q05 68Q10 68Q17 PDFBibTeX XMLCite \textit{S. N. Krishna}, Lect. Notes Comput. Sci. 3988, 526--535 (2006; Zbl 1145.68414) Full Text: DOI
Wu, Gang; Seeman, Nadrian C. Multiplying with DNA. (English) Zbl 1113.68051 Nat. Comput. 5, No. 4, 427-441 (2006). MSC: 68Q05 68Q10 PDFBibTeX XMLCite \textit{G. Wu} and \textit{N. C. Seeman}, Nat. Comput. 5, No. 4, 427--441 (2006; Zbl 1113.68051) Full Text: DOI Link
Leporati, Alberto; Zandron, Claudio; Mauri, Giancarlo Reversible P systems to simulate Fredkin circuits. (English) Zbl 1106.68041 Fundam. Inform. 74, No. 4, 529-548 (2006). MSC: 68Q05 68Q10 94C10 PDFBibTeX XMLCite \textit{A. Leporati} et al., Fundam. Inform. 74, No. 4, 529--548 (2006; Zbl 1106.68041)
Alhazov, Artiom; Freund, Rudolf; Leporati, Alberto; Oswald, Marion; Zandron, Claudio (Tissue) P systems with unit rules and energy assigned to membranes. (English) Zbl 1106.68038 Fundam. Inform. 74, No. 4, 391-408 (2006). MSC: 68Q05 68Q10 68Q42 68Q45 PDFBibTeX XMLCite \textit{A. Alhazov} et al., Fundam. Inform. 74, No. 4, 391--408 (2006; Zbl 1106.68038)
Păun, Gheorghe; Păun, Radu Membrane computing and economics: numerical P systems. (English) Zbl 1157.68373 Fundam. Inform. 73, No. 1-2, 213-227 (2006). MSC: 68Q10 68Q05 91B74 PDFBibTeX XMLCite \textit{G. Păun} and \textit{R. Păun}, Fundam. Inform. 73, No. 1--2, 213--227 (2006; Zbl 1157.68373)
Cooper, S. Barry How can nature help us compute? (English) Zbl 1175.68159 Wiedermann, Jiří (ed.) et al., SOFSEM 2006: Theory and practice of computer science. 32nd conference on current trends in theory and practice of computer science, Měřín, Czech Republic, January 21–27, 2006. Proceedings. Berlin: Springer (ISBN 3-540-31198-X/pbk). Lecture Notes in Computer Science 3831, 1-13 (2006). MSC: 68Q05 68Q10 PDFBibTeX XMLCite \textit{S. B. Cooper}, Lect. Notes Comput. Sci. 3831, 1--13 (2006; Zbl 1175.68159) Full Text: DOI
Alhazov, Artiom; Freund, Rudolf; Oswald, Marion Symbol/membrane complexity of P systems with symport/antiport rules. (English) Zbl 1135.68398 Freund, Rudolf (ed.) et al., Membrane computing. 6th international workshop, WMC 2005, Vienna, Austria, July 18–21, 2005. Revised selected and invited papers. Berlin: Springer (ISBN 3-540-30948-9/pbk). Lecture Notes in Computer Science 3850, 96-113 (2006). MSC: 68Q10 68Q05 PDFBibTeX XMLCite \textit{A. Alhazov} et al., Lect. Notes Comput. Sci. 3850, 96--113 (2006; Zbl 1135.68398) Full Text: DOI
Sosík, Petr; Valík, Ondřej On evolutionary lineages of membrane systems. (English) Zbl 1135.68424 Freund, Rudolf (ed.) et al., Membrane computing. 6th international workshop, WMC 2005, Vienna, Austria, July 18–21, 2005. Revised selected and invited papers. Berlin: Springer (ISBN 3-540-30948-9/pbk). Lecture Notes in Computer Science 3850, 67-78 (2006). MSC: 68Q10 68Q05 92D15 PDFBibTeX XMLCite \textit{P. Sosík} and \textit{O. Valík}, Lect. Notes Comput. Sci. 3850, 67--78 (2006; Zbl 1135.68424) Full Text: DOI
Ibarra, Oscar H.; Yen, Hsu-Chun On deterministic catalytic systems. (English) Zbl 1172.68473 Farré, Jacques (ed.) et al., Implementation and application of automata. 10th international conference, CIAA 2005, Sophia Antipolis, France, June 27–29, 2005. Revised selected papers. Berlin: Springer (ISBN 3-540-31023-1/pbk). Lecture Notes in Computer Science 3845, 163-175 (2006). MSC: 68Q05 68Q10 68Q45 PDFBibTeX XMLCite \textit{O. H. Ibarra} and \textit{H.-C. Yen}, Lect. Notes Comput. Sci. 3845, 163--175 (2006; Zbl 1172.68473) Full Text: DOI
Nunes de Castro, Leandro Fundamentals of natural computing. Basic concepts, algorithms, and applications. (English) Zbl 1130.68059 Chapman & Hall/CRC Computer and Information Science Series. Boca Raton, FL: Chapman & Hall/CRC (ISBN 1-58488-643-9/hbk). xxxi, 662 p. (2006). Reviewer: Jan Friso Groote (Nederwetten) MSC: 68Q05 68-01 68Q10 68T05 92B20 PDFBibTeX XMLCite \textit{L. Nunes de Castro}, Fundamentals of natural computing. Basic concepts, algorithms, and applications. Boca Raton, FL: Chapman \& Hall/CRC (2006; Zbl 1130.68059)
Fitz, Hartmut Church’s thesis and physical computation. (English) Zbl 1114.03033 Olszewski, Adam (ed.) et al., Church’s thesis after 70 years. Frankfurt: Ontos Verlag (ISBN 3-938793-09-0/hbk). Ontos Mathematical Logic 1, 175-219 (2006). Reviewer: Heribert Vollmer (Hannover) MSC: 03D10 68Q05 68Q10 03A05 PDFBibTeX XMLCite \textit{H. Fitz}, Ontos Math. Log. 1, 175--219 (2006; Zbl 1114.03033)
Böhler, Elmar; Glaßer, Christian; Meister, Daniel Error-bounded probabilistic computations between MA and AM. (English) Zbl 1100.68023 J. Comput. Syst. Sci. 72, No. 6, 1043-1076 (2006). MSC: 68Q05 68Q15 PDFBibTeX XMLCite \textit{E. Böhler} et al., J. Comput. Syst. Sci. 72, No. 6, 1043--1076 (2006; Zbl 1100.68023) Full Text: DOI
Carbone, Alessandra (ed.); Pierce, Niles A. (ed.) DNA computing. 11th international workshops on DNA computing, DNA11, London, ON, Canada, June 6–9, 2005. Revised selected papers. (English) Zbl 1096.68002 Lecture Notes in Computer Science 3892. Berlin: Springer (ISBN 3-540-34161-7/pbk). xi, 440 p. (2006). MSC: 68-06 68Q10 68Q05 00B25 PDFBibTeX XMLCite \textit{A. Carbone} (ed.) and \textit{N. A. Pierce} (ed.), DNA computing. 11th international workshops on DNA computing, DNA11, London, ON, Canada, June 6--9, 2005. Revised selected papers. Berlin: Springer (2006; Zbl 1096.68002)
Păun, Andrei; Popa, Bianca P systems with proteins on membranes. (English) Zbl 1099.68031 Fundam. Inform. 72, No. 4, 467-483 (2006). MSC: 68Q05 68Q10 PDFBibTeX XMLCite \textit{A. Păun} and \textit{B. Popa}, Fundam. Inform. 72, No. 4, 467--483 (2006; Zbl 1099.68031)
Li, Lvzhou; Qiu, Daowen Determination of equivalence between quantum sequential machines. (English) Zbl 1097.68040 Theor. Comput. Sci. 358, No. 1, 65-74 (2006). MSC: 68Q05 68Q10 81P68 PDFBibTeX XMLCite \textit{L. Li} and \textit{D. Qiu}, Theor. Comput. Sci. 358, No. 1, 65--74 (2006; Zbl 1097.68040) Full Text: DOI
Ord, Toby The many forms of hypercomputation. (English) Zbl 1096.68054 Appl. Math. Comput. 178, No. 1, 143-153 (2006). MSC: 68Q05 68Q10 03D10 03D20 PDFBibTeX XMLCite \textit{T. Ord}, Appl. Math. Comput. 178, No. 1, 143--153 (2006; Zbl 1096.68054) Full Text: DOI
Németi, István; Dávid, Gyula Relativistic computers and the Turing barrier. (English) Zbl 1104.68048 Appl. Math. Comput. 178, No. 1, 118-142 (2006). MSC: 68Q10 68Q05 PDFBibTeX XMLCite \textit{I. Németi} and \textit{G. Dávid}, Appl. Math. Comput. 178, No. 1, 118--142 (2006; Zbl 1104.68048) Full Text: DOI
Beggs, E. J.; Tucker, J. V. Embedding infinitely parallel computation in Newtonian kinematics. (English) Zbl 1101.68573 Appl. Math. Comput. 178, No. 1, 25-43 (2006). MSC: 68Q10 68Q05 70A05 PDFBibTeX XMLCite \textit{E. J. Beggs} and \textit{J. V. Tucker}, Appl. Math. Comput. 178, No. 1, 25--43 (2006; Zbl 1101.68573) Full Text: DOI
Ionescu, Mihai; Păun, Gheorghe; Yokomori, Takashi Spiking neural P systems. (English) Zbl 1110.68043 Fundam. Inform. 71, No. 2-3, 279-308 (2006). MSC: 68Q05 68Q10 PDFBibTeX XMLCite \textit{M. Ionescu} et al., Fundam. Inform. 71, No. 2--3, 279--308 (2006; Zbl 1110.68043)
Maurer, Ward Douglas A theory of computer instructions. (English) Zbl 1103.68054 Sci. Comput. Program. 60, No. 3, 244-273 (2006). MSC: 68Q10 PDFBibTeX XMLCite \textit{W. D. Maurer}, Sci. Comput. Program. 60, No. 3, 244--273 (2006; Zbl 1103.68054) Full Text: DOI Link
Anderson, James A. [Head, Tom] Automata theory with modern applications. With contributions by Tom Head. (English) Zbl 1127.68049 Cambridge: Cambridge University Press (ISBN 0-521-61324-8/pbk; 0-521-84887-3/hbk; 978-0-511-60720-2/ebook). viii, 255 p. (2006). Reviewer: Heribert Vollmer (Hannover) MSC: 68Q45 68-01 68Q05 68Q10 68Q42 68Q70 68R15 PDFBibTeX XMLCite \textit{J. A. Anderson}, Automata theory with modern applications. With contributions by Tom Head. Cambridge: Cambridge University Press (2006; Zbl 1127.68049) Full Text: DOI
Ciobanu, Gabriel; Păun, Gheorge; Ştefănescu, Gheorge P transducers. (English) Zbl 1103.68050 New Generation Comput. 24, No. 1, 1-28 (2006). MSC: 68Q05 68Q10 PDFBibTeX XMLCite \textit{G. Ciobanu} et al., New Generation Comput. 24, No. 1, 1--28 (2006; Zbl 1103.68050) Full Text: DOI
Kozen, Dexter C. Theory of computation. (English) Zbl 1102.68025 Texts in Computer Science. London: Springer (ISBN 1-84628-297-7/hbk). xiii, 418 p. (2006). Reviewer: Daniela Marinescu (Braşov) MSC: 68Q01 68Q05 68-01 68Q10 68Q15 68Q17 PDFBibTeX XMLCite \textit{D. C. Kozen}, Theory of computation. London: Springer (2006; Zbl 1102.68025)
López, Natalia; Núñez, Manuel; Rodríguez, Ismael Specification, testing and implementation relations for symbolic-probabilistic systems. (English) Zbl 1088.68021 Theor. Comput. Sci. 353, No. 1-3, 228-248 (2006). MSC: 68M15 68Q45 PDFBibTeX XMLCite \textit{N. López} et al., Theor. Comput. Sci. 353, No. 1--3, 228--248 (2006; Zbl 1088.68021) Full Text: DOI
Obtułowicz, Adam Gandy’s principles for mechanisms and membrane computing. (English) Zbl 1088.68061 Int. J. Found. Comput. Sci. 17, No. 1, 167-181 (2006). MSC: 68Q10 03D10 68Q05 PDFBibTeX XMLCite \textit{A. Obtułowicz}, Int. J. Found. Comput. Sci. 17, No. 1, 167--181 (2006; Zbl 1088.68061) Full Text: DOI
Cavaliere, Matteo; Deufemia, Vincenzo Further results on time-free P systems. (English) Zbl 1088.68056 Int. J. Found. Comput. Sci. 17, No. 1, 69-89 (2006). MSC: 68Q10 68Q05 68Q45 68Q85 03B25 03D35 PDFBibTeX XMLCite \textit{M. Cavaliere} and \textit{V. Deufemia}, Int. J. Found. Comput. Sci. 17, No. 1, 69--89 (2006; Zbl 1088.68056) Full Text: DOI
Mills, Bruce Theoretical introduction to programming. (English) Zbl 1097.68022 London: Springer (ISBN 1-84628-021-4/pbk). xi, 358 p. (2006). Reviewer: G. Riedewald (Rostock) MSC: 68N01 68-01 68Q05 68Q10 68Q15 68N30 PDFBibTeX XMLCite \textit{B. Mills}, Theoretical introduction to programming. London: Springer (2006; Zbl 1097.68022)
Talbot, John; Welsh, Dominic Complexity and cryptography. An introduction. (English) Zbl 1086.94022 Cambridge: Cambridge University Press (ISBN 0-521-85231-5/hbk; 0-521-61771-5/pbk). xii, 292 p. (2006). Reviewer: Ivan Landjev (Sofia) MSC: 94A60 94A55 94A62 68Q05 68Q10 68Q15 68Q17 68P25 94-02 PDFBibTeX XMLCite \textit{J. Talbot} and \textit{D. Welsh}, Complexity and cryptography. An introduction. Cambridge: Cambridge University Press (2006; Zbl 1086.94022) Full Text: DOI