{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T22:10:10Z","timestamp":1745964610133,"version":"3.40.4"},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783642370748"},{"type":"electronic","value":"9783642370755"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2013]]},"DOI":"10.1007\/978-3-642-37075-5_21","type":"book-chapter","created":{"date-parts":[[2013,2,18]],"date-time":"2013-02-18T19:37:23Z","timestamp":1361216243000},"page":"321-336","source":"Crossref","is-referenced-by-count":1,"title":["Pure Pointer Programs and Tree Isomorphism"],"prefix":"10.1007","author":[{"given":"Martin","family":"Hofmann","sequence":"first","affiliation":[]},{"given":"Ramyaa","family":"Ramyaa","sequence":"additional","affiliation":[]},{"given":"Ulrich","family":"Sch\u00f6pp","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"21_CR1","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"66","DOI":"10.1007\/11784180_8","volume-title":"Algebraic Methodology and Software Technology","author":"G. Bonfante","year":"2006","unstructured":"Bonfante, G.: Some Programming Languages for Logspace and Ptime. In: Johnson, M., Vene, V. (eds.) AMAST 2006. LNCS, vol.\u00a04019, pp. 66\u201380. Springer, Heidelberg (2006)"},{"issue":"2","key":"21_CR2","doi-asserted-by":"publisher","first-page":"280","DOI":"10.1006\/jcss.1998.1615","volume":"58","author":"J.-Y. Cai","year":"1999","unstructured":"Cai, J.-Y., Sivakumar, D.: Sparse hard sets for P: Resolution of a conjecture of Hartmanis. J. Comput. Syst. Sci.\u00a058(2), 280\u2013296 (1999)","journal-title":"J. Comput. Syst. Sci."},{"issue":"3","key":"21_CR3","doi-asserted-by":"publisher","first-page":"636","DOI":"10.1137\/0209048","volume":"9","author":"S.A. Cook","year":"1980","unstructured":"Cook, S.A., Rackoff, C.: Space lower bounds for maze threadability on restricted machines. SIAM J. Comput.\u00a09(3), 636\u2013652 (1980)","journal-title":"SIAM J. Comput."},{"key":"21_CR4","doi-asserted-by":"crossref","unstructured":"Ebbinghaus, H.-D., Flum, J.: Finite model theory. Springer (1995)","DOI":"10.1007\/3-540-28788-4"},{"key":"21_CR5","doi-asserted-by":"crossref","unstructured":"Etessami, K., Immerman, N.: Tree canonization and transitive closure. In: IEEE Symp. Logic in Comput. Sci., pp. 331\u2013341 (1995)","DOI":"10.1109\/LICS.1995.523268"},{"issue":"1","key":"21_CR6","doi-asserted-by":"publisher","first-page":"129","DOI":"10.1006\/inco.1995.1081","volume":"119","author":"E. Gr\u00e4del","year":"1995","unstructured":"Gr\u00e4del, E., McColm, G.L.: On the power of deterministic transitive closures. Inf. Comput.\u00a0119(1), 129\u2013135 (1995)","journal-title":"Inf. Comput."},{"key":"21_CR7","unstructured":"Grohe, M., Gru\u00dfien, B., Hernich, A., Laubner, B.: L-recursion and a new logic for logarithmic space. In: CSL, pp. 277\u2013291 (2011)"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Hofmann, M., Sch\u00f6pp, U.: Pointer programs and undirected reachability. In: LICS, pp. 133\u2013142 (2009)","DOI":"10.1109\/LICS.2009.41"},{"key":"21_CR9","doi-asserted-by":"crossref","unstructured":"Hofmann, M., Sch\u00f6pp, U.: Pure pointer programs with iteration. ACM Trans. Comput. Log.\u00a011(4) (2010)","DOI":"10.1145\/1805950.1805956"},{"key":"21_CR10","unstructured":"Immerman, N.: Progress in descriptive complexity. In: Curr. Trends in Th. Comp. Sci., pp. 71\u201382 (2001)"},{"issue":"1-2","key":"21_CR11","doi-asserted-by":"publisher","first-page":"151","DOI":"10.1016\/S0304-3975(98)00357-0","volume":"228","author":"N.D. Jones","year":"1999","unstructured":"Jones, N.D.: LOGSPACE and PTIME characterized by programming languages. Theor. Comput. Sci.\u00a0228(1-2), 151\u2013174 (1999)","journal-title":"Theor. Comput. Sci."},{"key":"21_CR12","doi-asserted-by":"publisher","first-page":"19","DOI":"10.1007\/BF01683260","volume":"10","author":"E. Richard","year":"1976","unstructured":"Richard, E.: Ladner and Nancy\u00a0A. Lynch. Relativization of questions about log space computability. Mathematical Systems Theory\u00a010, 19\u201332 (1976)","journal-title":"Mathematical Systems Theory"},{"key":"21_CR13","first-page":"400","volume-title":"STOC 1992","author":"S. Lindell","year":"1992","unstructured":"Lindell, S.: A logspace algorithm for tree canonization (extended abstract). In: STOC 1992, pp. 400\u2013404. ACM, New York (1992)"},{"key":"21_CR14","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"767","DOI":"10.1007\/11602613_77","volume-title":"Algorithms and Computation","author":"P. Lu","year":"2005","unstructured":"Lu, P., Zhang, J., Poon, C.K., Cai, J.-Y.: Simulating Undirected st-Connectivity Algorithms on Uniform JAGs and NNJAGs. In: Deng, X., Du, D.-Z. (eds.) ISAAC 2005. LNCS, vol.\u00a03827, pp. 767\u2013776. Springer, Heidelberg (2005)"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"Reingold, O.: Undirected connectivity in log-space. J. ACM\u00a055(4) (2008)","DOI":"10.1145\/1391289.1391291"}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-642-37075-5_21","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,4,29]],"date-time":"2025-04-29T21:32:43Z","timestamp":1745962363000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-642-37075-5_21"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2013]]},"ISBN":["9783642370748","9783642370755"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/978-3-642-37075-5_21","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2013]]}}}