{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,10,27]],"date-time":"2025-10-27T20:30:39Z","timestamp":1761597039194},"publisher-location":"Berlin, Heidelberg","reference-count":11,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540730002"},{"type":"electronic","value":"9783540730019"}],"license":[{"start":{"date-parts":[[2007,1,1]],"date-time":"2007-01-01T00:00:00Z","timestamp":1167609600000},"content-version":"unspecified","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2007]]},"DOI":"10.1007\/978-3-540-73001-9_45","type":"book-chapter","created":{"date-parts":[[2007,7,24]],"date-time":"2007-07-24T11:16:31Z","timestamp":1185275791000},"page":"436-445","source":"Crossref","is-referenced-by-count":5,"title":["Definability in the Homomorphic Quasiorder of Finite Labeled Forests"],"prefix":"10.1007","author":[{"given":"Oleg V.","family":"Kudinov","sequence":"first","affiliation":[]},{"given":"Victor L.","family":"Selivanov","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"45_CR1","volume-title":"Model Theory","author":"C.C. Chang","year":"1973","unstructured":"Chang, C.C., Keisler, H.J.: Model Theory. North Holland, Amsterdam (1973)"},{"key":"45_CR2","unstructured":"Davey, B.A., Pristley, H.A.: Introduction to Lattices and Order. Cambridge (1994)"},{"key":"45_CR3","unstructured":"Hertling, P.: Unstetigkeitsgrade von Funktionen in der effectiven Analysis. PhD thesis, FernUniversit\u00e4t Hagen, Informatik-Berichte, pp. 208\u2013211 (1996)"},{"key":"45_CR4","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"467","DOI":"10.1007\/3-540-44612-5_42","volume-title":"Mathematical Foundations of Computer Science 2000","author":"S. Kosub","year":"2000","unstructured":"Kosub, S.: On NP-partitions over posets with an application to reducing the set of solutions of NP problems. In: Nielsen, M., Rovan, B. (eds.) MFCS 2000. LNCS, vol.\u00a01893, pp. 467\u2013476. Springer, Heidelberg (2000)"},{"key":"45_CR5","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"289","DOI":"10.1007\/11780342_31","volume-title":"Conf. Computability in Europe-2006","author":"O.V. Kudinov","year":"2006","unstructured":"Kudinov, O.V., Selivanov, V.L.: Undecidability in the homomorphic quasiorder of finite labeled forests. In: Beckmann, A. (ed.) Conf. Computability in Europe-2006. LNCS, vol.\u00a03988, pp. 289\u2013296. Springer, Berlin (2006)"},{"key":"45_CR6","unstructured":"Kudinov, O.V., Selivanov, V.L.: Undecidability in the homomorphic quasiorder of finite labeled forests. Accepted by Journal of Logic and Computation"},{"key":"45_CR7","doi-asserted-by":"publisher","first-page":"53","DOI":"10.1051\/ita:2005039","volume":"40","author":"D. Kuske","year":"2006","unstructured":"Kuske, D.: Theories of orders on the set of words. Theoretical Informatics and Applications\u00a040, 53\u201374 (2006)","journal-title":"Theoretical Informatics and Applications"},{"key":"45_CR8","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"157","DOI":"10.1007\/3-540-46541-3_13","volume-title":"STACS 2000","author":"S. Kosub","year":"2000","unstructured":"Kosub, S., Wagner, K.: The Boolean hierarchy of NP-partitions. In: Reichel, H., Tison, S. (eds.) STACS 2000. LNCS, vol.\u00a01770, pp. 157\u2013168. Springer, Heidelberg (2000)"},{"issue":"4","key":"45_CR9","first-page":"472","volume":"21","author":"V.L. Selivanov","year":"1982","unstructured":"Selivanov, V.L.: On the structure of degrees of generalized index sets. Algebra and Logic, Russian, there is an English translation\u00a021(4), 472\u2013491 (1982)","journal-title":"Algebra and Logic, Russian, there is an English translation"},{"key":"45_CR10","unstructured":"Selivanov, V.L.: Boolean hierarchy of partitions over reducible bases. Algebra and Logic, 43, N 1 (2004), pp. 77\u2013109 (Russian, there is an English translation), Technical Report 276, Institut f\u00fcr Informatik, Universit\u00e4t W\u00fcrzburg (2001), see also \n                  \n                    http:\/\/www.informatik.uni-wuerzburg.de"},{"key":"45_CR11","unstructured":"Selivanov, V.L.: The algebra of labeled forests modulo homomorphic equivalence. Conf. Computability in Europe- 2006. Beckmann, A., et.al. (eds.) University of Swansea Report Series #CSR 7-2006, pp. 241\u2013250 (full version to appear in Algebra and Logic) (2006)"}],"container-title":["Lecture Notes in Computer Science","Computation and Logic in the Real World"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-540-73001-9_45","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,2,18]],"date-time":"2019-02-18T05:01:12Z","timestamp":1550466072000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-540-73001-9_45"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2007]]},"ISBN":["9783540730002","9783540730019"],"references-count":11,"URL":"https:\/\/doi.org\/10.1007\/978-3-540-73001-9_45","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2007]]}}}