{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:18:12Z","timestamp":1725664692585},"publisher-location":"Berlin, Heidelberg","reference-count":16,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540602491"},{"type":"electronic","value":"9783540447702"}],"license":[{"start":{"date-parts":[[1995,1,1]],"date-time":"1995-01-01T00:00:00Z","timestamp":788918400000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1995]]},"DOI":"10.1007\/3-540-60249-6_58","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T17:57:07Z","timestamp":1330279027000},"page":"263-272","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Categorial graphs"],"prefix":"10.1007","author":[{"given":"Erik","family":"de Haas","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"21_CR1","doi-asserted-by":"crossref","unstructured":"M. Atkonson, F. Bancilhon, D. DeWitt, K. Dittrich, D. Maier, S. Zdonik, The Object Oriented Database System Manifesto; in: first International Conference on Deductive and Object Oriented Database Systems, Dec. 1989, pp. 40\u201357.","DOI":"10.1016\/B978-0-444-88433-6.50020-4"},{"key":"21_CR2","doi-asserted-by":"crossref","unstructured":"Serge Abiteboul, Richard Hull, IFO: A Formal Semantic Database Model, In: ACM proc. of Principles of Database Systems (PODS'84), 1984, pp. 119\u2013132.","DOI":"10.1145\/588011.588029"},{"key":"21_CR3","first-page":"606","volume":"700","author":"S. Abiteboul","year":"1993","unstructured":"Serge Abiteboul, Victor Vianu, Computing on Structures, in: Automata, Languages an Programming (ICALP'93), Springer LNCS 700, 1993, pp.606\u2013620.","journal-title":"Springer LNCS"},{"key":"21_CR4","doi-asserted-by":"crossref","first-page":"211","DOI":"10.1007\/BF01053246","volume":"3","author":"A. Bucalo","year":"1994","unstructured":"Anna Bucalo, Modalities in Linear Logic Weaker then the Exponential \u201dof Course\u201d: Algebraic and Relational Semantics, in: Journal of Logic, Language and information 3, pp. 211\u2013232, 1994.","journal-title":"Journal of Logic, Language and information"},{"key":"21_CR5","unstructured":"D. de Champeaux, A comparative study of Object Oriented Analysis Methods, Research Report, HP Laboratories, April 1991."},{"key":"21_CR6","doi-asserted-by":"crossref","first-page":"67","DOI":"10.1007\/978-94-009-8384-7_3","volume-title":"Aspects of Philosophical Logic","author":"D. Gabbay","year":"1981","unstructured":"Dov Gabbay, An irreflexive lemma with applications to axiomatizations of conditions on linear frames, In: U. M\u00f6nnich (ed.), Aspects of Philosophical Logic, Reidel, Dordrect, 1981, pp.67\u201389."},{"key":"21_CR7","doi-asserted-by":"crossref","first-page":"10","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J. Girard","year":"1987","unstructured":"Jean-Yves Girard, Linear Logic, In: Theoretical Computer Science 50 (1987), pp. 10\u2013102.","journal-title":"Theoretical Computer Science"},{"key":"21_CR8","doi-asserted-by":"crossref","unstructured":"Marc Gyssens, Jan Parendaens, Dirk van Gucht, A Graph-Oriented Object Model for Database End-User Interfaces, in: H. Garciamolina, H.V. Jagadish (eds.), ACM Int. Conf. on Management of Data (SIGMOD), 1990, pp. 24\u201333.","DOI":"10.1145\/93605.93616"},{"key":"21_CR9","unstructured":"Erik de Haas, Categorial graphs: The logical approach, in: Arthur Nieuwendijk (ed.), AC-COLADE'94 proceedings, Dutch Graduate School in Logic, Department of Philosophy, University of Amsterdam, The Netherlands."},{"key":"21_CR10","doi-asserted-by":"crossref","unstructured":"M. Kifer, G. Lausen, F-Logic: A higher-order language for reasoning about objects, inheritance and schema, in: Proceedings ACM-SIGMOD int. conf. on Management of Data, June 1989, pp. 134\u2013146.","DOI":"10.1145\/66926.66939"},{"issue":"No.3","key":"21_CR11","doi-asserted-by":"crossref","first-page":"379","DOI":"10.1145\/155271.155274","volume":"18","author":"G. M. Kuper","year":"1993","unstructured":"Gabriel M. Kuper, Moshe Y. Vardi, The Logical Data Model, in: ACM Transactions on Database Systems, Vol. 18, No. 3, September 1993, pp. 379\u2013413.","journal-title":"ACM Transactions on Database Systems"},{"key":"21_CR12","doi-asserted-by":"crossref","first-page":"77","DOI":"10.1016\/0022-0000(93)90021-N","volume":"47","author":"M. Kifer","year":"1993","unstructured":"Michael Kifer, James Wu, A Logic for Programming with Complex Objects, in: Journal of Computer and System Sciences 47, 1993, pp. 77\u2013120.","journal-title":"Journal of Computer and System Sciences"},{"key":"21_CR13","doi-asserted-by":"crossref","unstructured":"John C. Mitchell, Type systems for programming languages, in: J. van Leeuwen (ed.), Hand-book of Theoretical Computer Science, Elsevier Science Publ., 1990, pp. 365\u2013458.","DOI":"10.1016\/B978-0-444-88074-1.50013-5"},{"key":"21_CR14","unstructured":"Maarten de Rijke, Extending Modal Logic, PhD Thesis, University of Amsterdam, ILLC Dissertation Series 1993\u20134."},{"key":"21_CR15","unstructured":"Bill Rounds, Situation Theoretic Aspects of Databases, in: Jon Barwise, Mark Gawron, Gordon Plotkin, Syun Tutiya (eds.), Situation Theory and its Applications, vol. 2, CSLI, 1991, pp. 229\u2013255."},{"key":"21_CR16","unstructured":"A.S. Troelstra, Lectures on Linear Logic, CSLI lecture notes 29, 1992."}],"container-title":["Lecture Notes in Computer Science","Fundamentals of Computation Theory"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-60249-6_58","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,1,9]],"date-time":"2020-01-09T00:16:43Z","timestamp":1578529003000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-60249-6_58"}},"subtitle":["Extended abstract"],"short-title":[],"issued":{"date-parts":[[1995]]},"ISBN":["9783540602491","9783540447702"],"references-count":16,"URL":"https:\/\/doi.org\/10.1007\/3-540-60249-6_58","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1995]]},"assertion":[{"value":"30 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}