{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,27]],"date-time":"2025-03-27T09:46:53Z","timestamp":1743068813776,"version":"3.40.3"},"publisher-location":"Cham","reference-count":18,"publisher":"Springer International Publishing","isbn-type":[{"type":"print","value":"9783319231105"},{"type":"electronic","value":"9783319231112"}],"license":[{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"},{"start":{"date-parts":[[2015,1,1]],"date-time":"2015-01-01T00:00:00Z","timestamp":1420070400000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springernature.com\/gp\/researchers\/text-and-data-mining"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2015]]},"DOI":"10.1007\/978-3-319-23111-2_11","type":"book-chapter","created":{"date-parts":[[2015,8,29]],"date-time":"2015-08-29T01:35:55Z","timestamp":1440812155000},"page":"164-179","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["A Characterization of NP Within Interval-Valued Computing"],"prefix":"10.1007","author":[{"given":"Benedek","family":"Nagy","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"S\u00e1ndor","family":"V\u00e1lyi","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2015,8,30]]},"reference":[{"key":"11_CR1","volume-title":"Computing with Cells and Atoms: An Introduction to Quantum, DNA and Membrane Computing","author":"CS Calude","year":"2001","unstructured":"Calude, C.S., P\u0103un, G.: Computing with Cells and Atoms: An Introduction to Quantum, DNA and Membrane Computing. Taylor & Francis\/Hemisphere, London, Bristol (2001)"},{"key":"11_CR2","volume-title":"Introduction to Automata Theory, Languages, and Computation","author":"JE Hopcroft","year":"1979","unstructured":"Hopcroft, J.E., Ullman, J.D.: Introduction to Automata Theory, Languages, and Computation. Addison-Wesley, Reading (1979)"},{"issue":"3","key":"11_CR3","doi-asserted-by":"publisher","first-page":"211","DOI":"10.1007\/s00037-007-0229-6","volume":"16","author":"P McKenzie","year":"2007","unstructured":"McKenzie, P., Wagner, K.W.: The complexity of membership problems for circuits over sets of natural numbers. Comput. complex. 16(3), 211\u2013244 (2007)","journal-title":"Comput. complex."},{"key":"11_CR4","unstructured":"Nagy, B.: A general fuzzy logic using intervals, In: HUCI 2005: 6th International Symposium of Hungarian Researchers on Computational Intelligence, Budapest, Hungary, pp. 613\u2013624 (2005)"},{"key":"11_CR5","unstructured":"Nagy, B.: An interval-valued computing device. In: CiE 2005, Computability in Europe: New Computational Paradigms, Amsterdam, Netherlands, pp. 166\u2013177 (2005)"},{"key":"11_CR6","volume-title":"\u00daj Sz\u00e1m\u00edt\u00e1si Paradigm\u00e1k: Bevezet\u00e9s az Intervallum-\u00e9rt\u00e9k\u0171, a DNS-, a Membr\u00e1n- \u00e9s a Kvantumsz\u00e1m\u00edt\u00f3g\u00e9pek elm\u00e9let\u00e9be (New Computing Paradigms: Introduction to Interval-Valued, DNA, Membrane and Quantum Computing, in Hungarian)","author":"B Nagy","year":"2014","unstructured":"Nagy, B.: \u00daj Sz\u00e1m\u00edt\u00e1si Paradigm\u00e1k: Bevezet\u00e9s az Intervallum-\u00e9rt\u00e9k\u0171, a DNS-, a Membr\u00e1n- \u00e9s a Kvantumsz\u00e1m\u00edt\u00f3g\u00e9pek elm\u00e9let\u00e9be (New Computing Paradigms: Introduction to Interval-Valued, DNA, Membrane and Quantum Computing, in Hungarian). Typotex, Budapest (2014)"},{"key":"11_CR7","doi-asserted-by":"crossref","unstructured":"Nagy, B., Major, S.R.: Connection between interval-valued computing and cellular automata. In: CINTI 2013: 14th IEEE International Symposium on Computational Intelligence and Informatics, Budapest, Hungary, pp. 225\u2013230 (2013)","DOI":"10.1109\/CINTI.2013.6705196"},{"key":"11_CR8","unstructured":"Nagy, B., V\u00e1lyi, S.: Solving a PSPACE-complete problem by a linear interval-valued computation. In: CiE 2006, Computability in Europe: Logical Approaches to Computational Barriers. University of Wales, Swansea, UK, pp. 216\u2013225 (2006)"},{"key":"11_CR9","unstructured":"Nagy, B., V\u00e1lyi, S.: Visual reasoning by generalized interval-values and interval temporal logic. In: CEUR Workshop Proceedings, vol. 274, pp. 13\u201326 (2007)"},{"key":"11_CR10","doi-asserted-by":"publisher","first-page":"208","DOI":"10.1016\/j.tcs.2007.12.013","volume":"394","author":"B Nagy","year":"2008","unstructured":"Nagy, B., V\u00e1lyi, S.: Interval-valued computations and their connection with PSPACE. Theor. Comput. Sci. 394, 208\u2013222 (2008)","journal-title":"Theor. Comput. Sci."},{"key":"11_CR11","doi-asserted-by":"publisher","first-page":"539","DOI":"10.5486\/PMD.2011.5134","volume":"79","author":"B Nagy","year":"2011","unstructured":"Nagy, B., V\u00e1lyi, S.: Prime factorization by interval-valued computing. Publicationes Mathematicae Debrecen 79, 539\u2013551 (2011)","journal-title":"Publicationes Mathematicae Debrecen"},{"key":"11_CR12","doi-asserted-by":"publisher","first-page":"76","DOI":"10.4204\/EPTCS.143.7","volume":"143","author":"B Nagy","year":"2014","unstructured":"Nagy, B., V\u00e1lyi, S.: Computing discrete logarithm by interval-valued paradigm. Electron. Proc. Theor. Comput. Sci. 143, 76\u201386 (2014)","journal-title":"Electron. Proc. Theor. Comput. Sci."},{"key":"11_CR13","volume-title":"Computational Complexity","author":"C Papadimitriou","year":"1994","unstructured":"Papadimitriou, C.: Computational Complexity. Addison Wesley, Reading (1994)"},{"key":"11_CR14","doi-asserted-by":"crossref","unstructured":"P\u0103un, Gh., Rozenberg, G., Salomaa, A.: DNA Computing: New computing paradigms. Springer, Berlin (1998)","DOI":"10.1007\/978-3-662-03563-4"},{"volume-title":"Handbook of Membrane Computing","year":"2010","key":"11_CR15","unstructured":"P\u0103un, G., Rozenberg, G., Salomaa, A. (eds.): Handbook of Membrane Computing. Oxford University Press, Oxford (2010)"},{"volume-title":"Handbook of Natural Computing","year":"2012","key":"11_CR16","unstructured":"Rozenberg, G., B\u00e4ck, T., Kok, J.N. (eds.): Handbook of Natural Computing. Springer, Heidelberg (2012)"},{"key":"11_CR17","volume-title":"Introduction to the Theory of Computation","author":"M Sipser","year":"2012","unstructured":"Sipser, M.: Introduction to the Theory of Computation. Cengage Learning, Boston (2012)"},{"key":"11_CR18","doi-asserted-by":"publisher","first-page":"1417","DOI":"10.1016\/j.amc.2009.04.061","volume":"215","author":"D Woods","year":"2009","unstructured":"Woods, D., Naughton, T.J.: Optical computing. Appl. Math. Comput. 215, 1417\u20131430 (2009)","journal-title":"Appl. Math. Comput."}],"container-title":["Lecture Notes in Computer Science","Machines, Computations, and Universality"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-23111-2_11","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,2,21]],"date-time":"2023-02-21T07:49:03Z","timestamp":1676965743000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/978-3-319-23111-2_11"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2015]]},"ISBN":["9783319231105","9783319231112"],"references-count":18,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-23111-2_11","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2015]]},"assertion":[{"value":"30 August 2015","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}