{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,3,28]],"date-time":"2025-03-28T09:25:39Z","timestamp":1743153939795,"version":"3.40.3"},"publisher-location":"Berlin, Heidelberg","reference-count":31,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540008972"},{"type":"electronic","value":"9783540365761"}],"license":[{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"tdm","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"},{"start":{"date-parts":[[2003,1,1]],"date-time":"2003-01-01T00:00:00Z","timestamp":1041379200000},"content-version":"vor","delay-in-days":0,"URL":"https:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[2003]]},"DOI":"10.1007\/3-540-36576-1_14","type":"book-chapter","created":{"date-parts":[[2007,6,12]],"date-time":"2007-06-12T02:42:17Z","timestamp":1181616137000},"page":"216-230","update-policy":"https:\/\/doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":17,"title":["Manipulating Trees with Hidden Labels"],"prefix":"10.1007","author":[{"given":"Luca","family":"Cardelli","sequence":"first","affiliation":[]},{"given":"Philippa","family":"Gardner","sequence":"additional","affiliation":[]},{"given":"Giorgio","family":"Ghelli","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2003,2,28]]},"reference":[{"unstructured":"S. Abiteboul, P. Buneman, D. Suciu.: Data on the Web. Morgan Kaufmann Publishers, 2000.","key":"14_CR1"},{"issue":"5","key":"14_CR2","doi-asserted-by":"publisher","first-page":"798","DOI":"10.1145\/290179.290182","volume":"45","author":"S. Abiteboul","year":"1998","unstructured":"S. Abiteboul, P. Kanellakis: Object identity as a query language primitive. Journal of the ACM, 45(5):798\u2013842, 1998. A first version appeared in SIGMOD\u201989.","journal-title":"Journal of the ACM"},{"issue":"1","key":"14_CR3","doi-asserted-by":"publisher","first-page":"68","DOI":"10.1007\/s007990050005","volume":"1","author":"S. Abiteboul","year":"1997","unstructured":"S. Abiteboul, D. Quass, J. McHugh, J. Widom, and J. Wiener. The Lorel Query Language for Semistructured Data. International Journal on Digital Libraries, 1(1), pp. 68\u201388, April 1997.","journal-title":"International Journal on Digital Libraries"},{"doi-asserted-by":"crossref","unstructured":"M.P. Atkinson, F. Bancilhon, et al.: The Object-Oriented Database System Manifesto. Building an Object-Oriented Database System, The Story of O2, 1992, pp. 3\u201320.","key":"14_CR4","DOI":"10.1145\/130283.130289"},{"doi-asserted-by":"crossref","unstructured":"V. Benzaken, G. Castagna, A. Frisch: CDuce: a white paper. PLAN-X: Programming Language Technologies for XML, Pittsburgh PA, Oct. 2002. http:\/\/www.cduce.org.","key":"14_CR5","DOI":"10.1145\/944705.944711"},{"unstructured":"S. Boag, D. Chamberlin, M.F. Fernandez, D. Florescu, J. Robie, J. Sim\u00e9on: XQuery 1.0: An XML Query Language, W3C Working Draft, 2002, http:\/\/www.w3.org\/TR\/xquery.","key":"14_CR6"},{"unstructured":"T. Bray, J. Paoli, C.M. Sperberg-McQueen, E. Maler: Extensible Markup Language (XML) 1.0 (Second Edition), W3C document, http:\/\/www.w3.org\/TR\/REC-xml.","key":"14_CR7"},{"doi-asserted-by":"crossref","unstructured":"P. Buneman, S.B. Davidson, G.G. Hillebrand, D. Suciu: A Query Language and Optimization Techniques for Unstructured Data. SIGMOD Conference 1996, pp. 505\u2013516.","key":"14_CR8","DOI":"10.1145\/235968.233368"},{"unstructured":"L. Caires: A Model for Declarative Programming and Specification with Concurrency and Mobility. Ph.D. Thesis, Dept. de Inform\u00e1tica, FTC, Universidade Nove de Lisboa, 1999.","key":"14_CR9"},{"key":"14_CR10","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"A Spatial Logic for Concurrency: Part I","author":"L. Caires","year":"2001","unstructured":"L. Caires, L Cardelli: A Spatial Logic for Concurrency: Part I. Proc. TACS 2001, Naoki Kobayashi and Benjamin C. Pierce (Eds.). LNCS. 2215. Springer, 2001, pp 1\u201337. To appear in Iamp;C."},{"doi-asserted-by":"crossref","unstructured":"L. Caires, L. Cardelli: A Spatial Logic for Concurrency: Part II. Proc. CONCUR\u201902, 2002.","key":"14_CR11","DOI":"10.1007\/3-540-45694-5_15"},{"unstructured":"C. Calcagno, L. Cardelli, A.D. Gordon, Deciding Validity in a Spatial Logic for Trees. Draft.","key":"14_CR12"},{"doi-asserted-by":"crossref","unstructured":"C. Calcagno, H. Yang, P.W. O'Hearn: Computability and Complexity Results for a Spatial Assertion Language for Data Structures. Proc. FSTTCS 2001, pp. 108\u2013119.","key":"14_CR13","DOI":"10.1007\/3-540-45294-X_10"},{"key":"14_CR14","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"597","DOI":"10.1007\/3-540-45465-9_51","volume-title":"A Spatial Logic for Querying Graphs","author":"L. Cardelli","year":"2002","unstructured":"L. Cardelli, P. Gardner, G. Ghelli, A Spatial Logic for Querying Graphs. Proc. ICALP\u201902, Peter Widmayer et al. (Eds.). LNCS 2380, Springer, 2002. pp 597\u2013610."},{"key":"14_CR15","series-title":"Lect Notes Comput Sci","first-page":"1","volume-title":"A Query Language Based on the Ambient Logic","author":"L. Cardelli","year":"2001","unstructured":"L. Cardelli, G. Ghelli, A Query Language Based on the Ambient Logic. Proc. ESOP\u201901, David Sands (Ed.). LNCS 2028, Springer, 2001, pp. 1\u201322."},{"doi-asserted-by":"crossref","unstructured":"L. Cardelli, A.D. Gordon, Anytime, Anywhere. Modal Logics forMobile Ambients. Proc. of the 27th ACM Symposium on Principles of Programming Languages, 2000, pp. 365\u2013377.","key":"14_CR16","DOI":"10.1145\/325694.325742"},{"unstructured":"S. Cluet, S. Jacqmin, and J. Simeon. The New YATL: Design and Specifications. INRIA, 1999.","key":"14_CR17"},{"unstructured":"E. Cohen: Validity and Model Checking for Logics of Finite Multisets. Draft.","key":"14_CR18"},{"unstructured":"D. Florescu, A. Deutsch, A. Levy, D. Suciu, M. Fernandez: A Query Language for XML. In Proc. of Eighth International World Wide Web Conference, 1999.","key":"14_CR19"},{"issue":"3","key":"14_CR20","doi-asserted-by":"publisher","first-page":"4","DOI":"10.1145\/262762.262763","volume":"26","author":"D. Florescu","year":"1997","unstructured":"D. Florescu, A. Levy, M. Fernandez, D. Suciu, A Query Language for aWeb-Site Management System. SIGMOD Record, vol. 26, no. 3, pp. 4\u201311, September, 1997.","journal-title":"SIGMOD Record"},{"unstructured":"M.J. Gabbay: A Theory of Inductive Definitions with a-Equivalence: Semantics, Implementation, Programming Language. Ph.D. Thesis, University of Cambridge, 2000.","key":"14_CR21"},{"doi-asserted-by":"crossref","unstructured":"M.J. Gabbay, A.M. Pitts, A New Approach to Abstract Syntax Involving Binders. Proc. LICS1999. IEEE Computer Society Press, 1999. pp 214\u2013224.","key":"14_CR22","DOI":"10.1109\/LICS.1999.782617"},{"unstructured":"M.J. Gabbay: FM-HOL, A Higher-Order Theory of Names. In Thirty Five years of Automath, Heriot-Watt University, Edinburgh, April 2002. Inforal Proc., 2002.","key":"14_CR23"},{"key":"14_CR24","series-title":"Lect Notes Comput Sci","volume-title":"Foundations of Security Analysis and Design","author":"A.D. Gordon","year":"1998","unstructured":"A.D. Gordon: Notes on Nominal Calculi for Security andMobility. R. Focardi, R. Gorrieri (Eds.): Foundations of Security Analysis and Design. LNCS 2171. Springer, 1998."},{"key":"14_CR25","doi-asserted-by":"publisher","first-page":"119","DOI":"10.1016\/S1571-0661(04)80959-9","volume":"45","author":"Andrew D. Gordon","year":"2001","unstructured":"A.D. Gordon, A. Jeffrey: Typing Correspondence Assertions for Communication Protocols. MFPS 17, Elsevier Electronic Notes in Theoretical Computer Science, Vol 45, 2001.","journal-title":"Electronic Notes in Theoretical Computer Science"},{"key":"14_CR26","first-page":"226","volume-title":"Lecture Notes in Computer Science","author":"Haruo Hosoya","year":"2001","unstructured":"H. Hosoya, B. C. Pierce: XDuce: A Typed XML Processing Language (Preliminary Report). WebDB (Selected Papers) 2000, pp: 226\u2013244"},{"unstructured":"R. Milner: Communicating and Mobile Systems: the \u03c0-Calculus. Cambridge U. Press, 1999.","key":"14_CR27"},{"issue":"2","key":"14_CR28","doi-asserted-by":"publisher","first-page":"215","DOI":"10.2307\/421090","volume":"5","author":"P.W. O\u2019Hearn","year":"1999","unstructured":"P.W. O'Hearn, D. Pym: Logic of Bunched Implication. Bulletin of Symbolic Logic 5(2), pp 215\u2013244, 1999.","journal-title":"Bulletin of Symbolic Logic"},{"doi-asserted-by":"crossref","unstructured":"P.W. O'Hearn, J.C. Reynolds, H. Yang: Local Reasoning about Programs that Alter Data Structures. Proc. CSL 2001, pp. 1\u201319.","key":"14_CR29","DOI":"10.1007\/3-540-44802-0_1"},{"key":"14_CR30","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"219","DOI":"10.1007\/3-540-45500-0_11","volume-title":"Nominal Logic, A First Order Theory of Names and Binding","author":"A.M. Pitts","year":"2001","unstructured":"A.M. Pitts: Nominal Logic, A First Order Theory of Names and Binding. Proc. TACS 2001, Naoki Kobayashi and Benjamin C. Pierce (Eds.). LNCS 2215. Springer, 2001, pp 219\u2013242."},{"key":"14_CR31","series-title":"Lect Notes Comput Sci","doi-asserted-by":"crossref","first-page":"230","DOI":"10.1007\/10722010_15","volume-title":"MPC","author":"A.M. Pitts","year":"2000","unstructured":"A.M. Pitts, M.J. Gabbay: A Metalanguage for Programming with Bound Names Modulo Renaming. R. Backhouse and J.N. Oliveira (Eds.): MPC 2000, LNCS 1837, Springer, pp. 230\u2013255."}],"container-title":["Lecture Notes in Computer Science","Foundations of Software Science and Computation Structures"],"original-title":[],"language":"en","link":[{"URL":"https:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-36576-1_14","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2025,1,17]],"date-time":"2025-01-17T05:54:35Z","timestamp":1737093275000},"score":1,"resource":{"primary":{"URL":"https:\/\/link.springer.com\/10.1007\/3-540-36576-1_14"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[2003]]},"ISBN":["9783540008972","9783540365761"],"references-count":31,"URL":"https:\/\/doi.org\/10.1007\/3-540-36576-1_14","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[2003]]},"assertion":[{"value":"28 February 2003","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}},{"value":"This content has been made available to all.","name":"free","label":"Free to read"}]}}