{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2026,10,4]],"date-time":"2026-10-04T04:30:24Z","timestamp":1791088224848,"version":"4.1.0"},"publisher-location":"Cham","reference-count":23,"publisher":"Springer International Publishing","isbn-type":[{"value":"9783319089171","type":"print"},{"value":"9783319089188","type":"electronic"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2014]]},"DOI":"10.1007\/978-3-319-08918-8_6","type":"book-chapter","created":{"date-parts":[[2014,7,2]],"date-time":"2014-07-02T05:44:22Z","timestamp":1404279862000},"page":"77-92","source":"Crossref","is-referenced-by-count":4,"title":["Unification and Logarithmic Space"],"prefix":"10.1007","author":[{"given":"Cl\u00e9ment","family":"Aubert","sequence":"first","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]},{"given":"Marc","family":"Bagnol","sequence":"additional","affiliation":[],"role":[{"vocabulary":"crossref","role":"author"}]}],"member":"297","reference":[{"issue":"1","key":"6_CR1","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.Y. Girard","year":"1987","unstructured":"Girard, J.Y.: Linear logic. Theoret. Comput. Sci.\u00a050(1), 1\u2013101 (1987)","journal-title":"Theoret. Comput. Sci."},{"issue":"1","key":"6_CR2","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0304-3975(92)90386-T","volume":"97","author":"J.Y. Girard","year":"1992","unstructured":"Girard, J.Y., Scedrov, A., Scott, P.J.: Bounded linear logic: a modular approach to polynomial-time computability. Theoret. Comput. Sci.\u00a097(1), 1\u201366 (1992)","journal-title":"Theoret. Comput. Sci."},{"key":"6_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"145","DOI":"10.1007\/3-540-60178-3_83","volume-title":"Logic and Computational Complexity","author":"J.Y. Girard","year":"1995","unstructured":"Girard, J.Y.: Light linear logic. In: Leivant, D. (ed.) LCC 1994. LNCS, vol.\u00a0960, pp. 145\u2013176. Springer, Heidelberg (1995)"},{"key":"6_CR4","doi-asserted-by":"crossref","unstructured":"Sch\u00f6pp, U.: Stratified bounded affine logic for logarithmic space. In: LICS, pp. 411\u2013420. IEEE Computer Society (2007)","DOI":"10.1109\/LICS.2007.45"},{"key":"6_CR5","doi-asserted-by":"crossref","unstructured":"Dal Lago, U., Hofmann, M.: Bounded linear logic, revisited. LMCS\u00a06(4) (2010)","DOI":"10.2168\/LMCS-6(4:7)2010"},{"key":"6_CR6","doi-asserted-by":"crossref","unstructured":"Gaboardi, M., Marion, J.Y., Ronchi Della Rocca, S.: An implicit characterization of PSPACE. ACM Trans. Comput.\u00a013(2), 18:1\u201318:36 (2012)","DOI":"10.1145\/2159531.2159540"},{"issue":"2","key":"6_CR7","doi-asserted-by":"publisher","first-page":"470","DOI":"10.1016\/j.tcs.2009.09.015","volume":"411","author":"P. Baillot","year":"2010","unstructured":"Baillot, P., Mazza, D.: Linear logic by levels and bounded time complexity. Theoret. Comput. Sci.\u00a0411(2), 470\u2013503 (2010)","journal-title":"Theoret. Comput. Sci."},{"key":"6_CR8","doi-asserted-by":"crossref","unstructured":"Girard, J.Y.: Towards a geometry of interaction. In: Gray, J.W., \u0160\u010dedrov, A. (eds.) Proceedings of the AMS Conference on Categories, Logic and Computer Science. Categories in Computer Science and Logic, vol.\u00a092, pp. 69\u2013108. AMS (1989)","DOI":"10.1090\/conm\/092\/1003197"},{"key":"6_CR9","unstructured":"Asperti, A., Danos, V., Laneve, C., Regnier, L.: Paths in the lambda-calculus. In: LICS, pp. 426\u2013436. IEEE Computer Society (1994)"},{"key":"6_CR10","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"publisher","first-page":"283","DOI":"10.1007\/3-540-45413-6_23","volume-title":"Typed Lambda Calculi and Applications","author":"O. Laurent","year":"2001","unstructured":"Laurent, O.: A token machine for full geometry of interaction (extended abstract). In: Abramsky, S. (ed.) TLCA 2001. LNCS, vol.\u00a02044, pp. 283\u2013297. Springer, Heidelberg (2001)"},{"key":"6_CR11","doi-asserted-by":"publisher","first-page":"221","DOI":"10.1016\/S0049-237X(08)70271-4","volume":"127","author":"J.Y. Girard","year":"1989","unstructured":"Girard, J.Y.: Geometry of interaction 1: Interpretation of system F. Studies in Logic and the Foundations of Mathematics\u00a0127, 221\u2013260 (1989)","journal-title":"Studies in Logic and the Foundations of Mathematics"},{"issue":"1-2","key":"6_CR12","first-page":"1","volume":"45","author":"P. Baillot","year":"2001","unstructured":"Baillot, P., Pedicini, M.: Elementary complexity and geometry of interaction. Fund. Inform.\u00a045(1-2), 1\u201331 (2001)","journal-title":"Fund. Inform."},{"key":"6_CR13","unstructured":"Girard, J.Y.: Normativity in logic. In: Dybjer, P., Lindstr\u00f6m, S., Palmgren, E., Sundholm, G. (eds.) Epistemology Versus Ontology. Logic, Epistemology, and the Unity of Science, vol.\u00a027, pp. 243\u2013263. Springer (2012)"},{"key":"6_CR14","unstructured":"Aubert, C., Seiller, T.: Characterizing co-NL by a group action. Arxiv preprint abs\/1209.3422 (2012)"},{"key":"6_CR15","unstructured":"Aubert, C., Seiller, T.: Logarithmic space and permutations. Arxiv preprint abs\/1301.3189 (2013)"},{"key":"6_CR16","doi-asserted-by":"crossref","unstructured":"Girard, J.Y.: Geometry of interaction III: accommodating the additives. In: Girard, J.Y., Lafont, Y., Regnier, L. (eds.) Advances in Linear Logic. London Mathematical Society Lecture Note Series, vol.\u00a0222, pp. 329\u2013389. CUP (1995)","DOI":"10.1017\/CBO9780511629150.017"},{"key":"6_CR17","unstructured":"Girard, J.Y.: Three lightings of logic. In: Ronchi Della Rocca, S. (ed.) CSL. LIPIcs, vol.\u00a023, pp. 11\u201323. Schloss Dagstuhl - Leibniz-Zentrum f\u00fcr Informatik (2013)"},{"issue":"1","key":"6_CR18","doi-asserted-by":"publisher","first-page":"93","DOI":"10.1145\/62029.62030","volume":"21","author":"K. Knight","year":"1989","unstructured":"Knight, K.: Unification: A multidisciplinary survey. ACM Comput. Surv.\u00a021(1), 93\u2013124 (1989)","journal-title":"ACM Comput. Surv."},{"issue":"1","key":"6_CR19","doi-asserted-by":"publisher","first-page":"35","DOI":"10.1016\/0743-1066(84)90022-0","volume":"1","author":"C. Dwork","year":"1984","unstructured":"Dwork, C., Kanellakis, P.C., Mitchell, J.C.: On the sequential nature of unification. J. Log. Program.\u00a01(1), 35\u201350 (1984)","journal-title":"J. Log. Program."},{"issue":"4","key":"6_CR20","doi-asserted-by":"publisher","first-page":"711","DOI":"10.1137\/0217046","volume":"17","author":"C. Dwork","year":"1988","unstructured":"Dwork, C., Kanellakis, P.C., Stockmeyer, L.J.: Parallel algorithms for term matching. SIAM J. Comput.\u00a017(4), 711\u2013731 (1988)","journal-title":"SIAM J. Comput."},{"key":"6_CR21","unstructured":"Aubert, C.: Linear Logic and Sub-polynomial Classes of Complexity. PhD thesis, Universit\u00e9 Paris 13\u2013Sorbonne Paris Cit\u00e9 (2013)"},{"issue":"4","key":"6_CR22","doi-asserted-by":"publisher","first-page":"336","DOI":"10.1007\/BF00289513","volume":"1","author":"J. Hartmanis","year":"1972","unstructured":"Hartmanis, J.: On non-determinancy in simple computing devices. Acta Inform.\u00a01(4), 336\u2013344 (1972)","journal-title":"Acta Inform."},{"issue":"2","key":"6_CR23","doi-asserted-by":"publisher","first-page":"354","DOI":"10.1006\/jcss.1999.1672","volume":"60","author":"K.J. Lange","year":"2000","unstructured":"Lange, K.J., McKenzie, P., Tapp, A.: Reversible space equals deterministic space. J. Comput. System Sci.\u00a060(2), 354\u2013367 (2000)","journal-title":"J. Comput. System Sci."}],"container-title":["Lecture Notes in Computer Science","Rewriting and Typed Lambda Calculi"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-3-319-08918-8_6","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,5,27]],"date-time":"2019-05-27T05:34:09Z","timestamp":1558935249000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-3-319-08918-8_6"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2014]]},"ISBN":["9783319089171","9783319089188"],"references-count":23,"URL":"https:\/\/doi.org\/10.1007\/978-3-319-08918-8_6","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"value":"0302-9743","type":"print"},{"value":"1611-3349","type":"electronic"}],"subject":[],"published":{"date-parts":[[2014]]}}}