{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T05:10:07Z","timestamp":1746335407166,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783662445211"},{"type":"electronic","value":"9783662445228"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-662-44522-8_31","type":"book-chapter","created":{"date-parts":[[2014,8,12]],"date-time":"2014-08-12T10:12:23Z","timestamp":1407838343000},"page":"365-376","source":"Crossref","is-referenced-by-count":6,"title":["Complexity and Expressivity of Uniform One-Dimensional Fragment with Equality"],"prefix":"10.1007","author":[{"given":"Emanuel","family":"Kiero\u0144ski","sequence":"first","affiliation":[]},{"given":"Antti","family":"Kuusisto","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"issue":"3","key":"31_CR1","doi-asserted-by":"publisher","first-page":"217","DOI":"10.1023\/A:1004275029985","volume":"27","author":"H. Andr\u00e9ka","year":"1998","unstructured":"Andr\u00e9ka, H., van Benthem, J., N\u00e9meti, I.: Modal languages and bounded fragments of predicate logic. Journal of Philosophical Logic\u00a027(3), 217\u2013274 (1998)","journal-title":"Journal of Philosophical Logic"},{"key":"31_CR2","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"356","DOI":"10.1007\/978-3-642-22012-8_28","volume-title":"Automata, Languages and Programming","author":"V. B\u00e1r\u00e1ny","year":"2011","unstructured":"B\u00e1r\u00e1ny, V., ten Cate, B., Segoufin, L.: Guarded negation. In: Aceto, L., Henzinger, M., Sgall, J. (eds.) ICALP 2011, Part II. LNCS, vol.\u00a06756, pp. 356\u2013367. Springer, Heidelberg (2011)"},{"key":"31_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"74","DOI":"10.1007\/978-3-642-39212-2_10","volume-title":"Automata, Languages, and Programming","author":"S. Benaim","year":"2013","unstructured":"Benaim, S., Benedikt, M., Charatonik, W., Kiero\u0144ski, E., Lenhardt, R., Mazowiecki, F., Worrell, J.: Complexity of two-variable logic on finite trees. In: Fomin, F.V., Freivalds, R., Kwiatkowska, M., Peleg, D. (eds.) ICALP 2013, Part II. LNCS, vol.\u00a07966, pp. 74\u201388. Springer, Heidelberg (2013)"},{"key":"31_CR4","doi-asserted-by":"crossref","unstructured":"Charatonik, W., Witkowski, P.: Two-variable logic with counting and trees. In: LICS, pp. 73\u201382 (2013)","DOI":"10.1109\/LICS.2013.12"},{"key":"31_CR5","doi-asserted-by":"crossref","unstructured":"Ebbinghaus, H.-D., Flum, J.: Finite model theory. Perspectives in Mathematical Logic. Springer (1995)","DOI":"10.1007\/978-3-662-03182-7"},{"issue":"1","key":"31_CR6","doi-asserted-by":"publisher","first-page":"53","DOI":"10.2307\/421196","volume":"3","author":"E. Gr\u00e4del","year":"1997","unstructured":"Gr\u00e4del, E., Kolaitis, P., Vardi, M.: On the decision problem for two-variable first-order logic. Bulletin of Symbolic Logic\u00a03(1), 53\u201369 (1997)","journal-title":"Bulletin of Symbolic Logic"},{"key":"31_CR7","unstructured":"Gr\u00e4del, E., Otto, M., Rosen, E.: Two-variable logic with counting is decidable. In: LICS, pp. 306\u2013317 (1997)"},{"key":"31_CR8","unstructured":"Hella, L., Kuusisto, A.: One-dimensional fragment of first-order logic. arXiv:1404.4004 (2014)"},{"key":"31_CR9","unstructured":"Henkin, L.: Logical systems containing only a finite number of symbols. Presses De l\u2019Universit\u00e9 De Montr\u00e9al (1967)"},{"key":"31_CR10","doi-asserted-by":"crossref","unstructured":"Kiero\u0144ski, E., Michaliszyn, J., Pratt-Hartmann, I., Tendera, L.: Two-variable first-order logic with equivalence closure. SIAM Journal of Computing\u00a043(3) (2014)","DOI":"10.1137\/120900095"},{"issue":"1","key":"31_CR11","doi-asserted-by":"publisher","first-page":"135","DOI":"10.1002\/malq.19750210118","volume":"21","author":"M. Mortimer","year":"1975","unstructured":"Mortimer, M.: On languages with two variables. Mathematical Logic Quarterly\u00a021(1), 135\u2013140 (1975)","journal-title":"Mathematical Logic Quarterly"},{"key":"31_CR12","doi-asserted-by":"crossref","unstructured":"Pacholski, L., Szwast, W., Tendera, L.: Complexity of two-variable logic with counting. In: LICS, pp. 318\u2013327. IEEE (1997)","DOI":"10.1109\/LICS.1997.614958"},{"issue":"3","key":"31_CR13","doi-asserted-by":"publisher","first-page":"369","DOI":"10.1007\/s10849-005-5791-1","volume":"14","author":"I. Pratt-Hartmann","year":"2005","unstructured":"Pratt-Hartmann, I.: Complexity of the two-variable fragment with counting quantifiers. Journal of Logic, Language and Information\u00a014(3), 369\u2013395 (2005)","journal-title":"Journal of Logic, Language and Information"},{"key":"31_CR14","first-page":"477","volume":"27","author":"D. Scott","year":"1962","unstructured":"Scott, D.: A decision method for validity of sentences in two variables. Journal Symbolic Logic\u00a027, 477 (1962)","journal-title":"Journal Symbolic Logic"},{"key":"31_CR15","unstructured":"Szwast, W., Tendera, L.: FO2 with one transitive relation is decidable. In: STACS, pp. 317\u2013328 (2013)"}],"container-title":["Lecture Notes in Computer Science","Mathematical Foundations of Computer Science 2014"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-662-44522-8_31","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,5,4]],"date-time":"2025-05-04T04:29:29Z","timestamp":1746332969000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-662-44522-8_31"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783662445211","9783662445228"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-662-44522-8_31","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2014]]}}}