{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,1,30]],"date-time":"2025-01-30T05:46:13Z","timestamp":1738215973865,"version":"3.34.0"},"publisher-location":"London","reference-count":20,"publisher":"Springer London","isbn-type":[{"type":"print","value":"9781848002203"},{"type":"electronic","value":"9781848002210"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/978-1-84800-221-0_49","type":"book-chapter","created":{"date-parts":[[2008,3,31]],"date-time":"2008-03-31T07:39:52Z","timestamp":1206949192000},"page":"625-637","source":"Crossref","is-referenced-by-count":0,"title":["Logical Foundations for the Infrastructure of the Information Market"],"prefix":"10.1007","author":[{"given":"Michael","family":"Heather","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"David","family":"Livingstone","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Nick","family":"Rossiter","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"49_CR1","unstructured":"Codd, E F, The Relational Model for Database Management Addison-Wesley (1990)."},{"key":"49_CR2","unstructured":"Date, C J, G\u00f6del, Russell, Codd: A Recursive Golden Crowd http:\/\/www.dcs.warwick.ac.uk\/~hugh\/TTM\/goedel.pdf 6pp July 17th (2006)."},{"key":"49_CR3","unstructured":"Date, C J, & Darwen, Hugh, Databases, Types and the Relational Model: The Third Manifesto 3rd ed, Addison Wesley (2006)."},{"key":"49_CR4","doi-asserted-by":"crossref","unstructured":"Egyedi, T, Experts on Causes of Incompatibility between Standard-Compliant Products, in: Enterprise Interoperability: New Challenges and Approaches Doumeingts, G, M\u00fcller, J, Morel, G, & Vallespir, B, (edd) Springer 553\u2013563 (2007).","DOI":"10.1007\/978-1-84628-714-5_51"},{"key":"49_CR5","unstructured":"Euractiv Network, Relaunch of the Lisbon Strategy http:\/\/www.euractiv.com\/en\/innovation\/growth-jobs-relaunch-lisbon-strategy\/article-131891 (2005)."},{"key":"49_CR6","unstructured":"European Commission, Internal Guidelines in: Integrated Guidelines for Growth and Jobs 2005\u20132008 2005\/0057, http:\/\/ec.europa.eu\/growthandjobs\/pdf\/COM2005_141_en.pdf (2005)."},{"key":"49_CR7","unstructured":"Freyd, P, & Scedrov, A, Categories, Allegories, North-Holland (1990)."},{"key":"49_CR8","doi-asserted-by":"crossref","unstructured":"Girard, Jean-Yves, Une extension de l\u2019interpretation de G\u00f6del, \u00e0 l\u2019analyse, et son application \u00e0 l\u2019\u00e9limination des coupures dans l\u2019analyse et la th\u00e9orie des types, Studies in Logic and the Foundations of Mathematics North-Holland 63\u201392 (1971).","DOI":"10.1016\/S0049-237X(08)70843-7"},{"key":"49_CR9","unstructured":"G\u00f6del, Kurt, \u00dcber die Vollst\u00e4ndigkeit des Logikkalk\u00fcls Doctoral Thesis, D1.736 33pp, University of Vienna (1929). Reprinted in Feferman, S, ed. G\u00f6del Collected Works, volume 1 (1986)."},{"key":"49_CR10","doi-asserted-by":"publisher","first-page":"173","DOI":"10.1007\/BF01700692","volume":"38","author":"K. G\u00f6del","year":"1931","unstructured":"G\u00f6del, Kurt, \u00dcber formal unentscheidbare S\u00e4tze der Principia Mathematica und verwandter Systeme, I. Monatshefte f\u00fcr Mathematik und Physik 38 173\u2013198 (1931): translated in Jean van Heijenoort, From Frege to G\u00f6del: A Source Book on Mathematical Logic Harvard 596\u2013616 (1967).","journal-title":"Monatshefte f\u00fcr Mathematik und Physik"},{"issue":"2","key":"49_CR11","doi-asserted-by":"publisher","first-page":"213","DOI":"10.2307\/2687775","volume":"7","author":"J. Y. Halpern","year":"2001","unstructured":"Halpern, Joseph Y, Harper, Robert, Immerman, Neil, Kolaitis, Phokion G, Vardi, Moshe Y, Vianu, Victor, On the unusual effectiveness of logic in computer science Bulletin of Symbolic Logic 7(2) 213\u2013236 (2001).","journal-title":"Bulletin of Symbolic Logic"},{"key":"49_CR12","unstructured":"Heather, Michael, Livingstone, David, & Rossiter, Nick, Higher Order Logic and Interoperability in Global Enterprise, AREIN I-ESA 26\u201330 March 12pp (2007)."},{"key":"49_CR13","first-page":"281","volume":"23","author":"F. W. Lawvere","year":"1969","unstructured":"Lawvere, F W, Adjointness in Foundations, Dialectica 23 281\u2013296 (1969).","journal-title":"Adjointness in Foundations"},{"key":"49_CR14","unstructured":"Livingstone, David, Open Database Project, CEIS, Northumbria University, http:\/\/computing.unn.ac.uk\/openDBproject\/ (2007)."},{"key":"49_CR15","unstructured":"Mac Lane, Categories for the Working Mathematician, 2nd ed, Springer (1998)."},{"key":"49_CR16","unstructured":"Probst, G, Raub, S, & Romhardt, K, Managing Knowledge Building-Blocks for Success Wiley (2000)."},{"key":"49_CR17","unstructured":"Rodrigues, Maria Joao, The Debate Over Europe and the Lisbon Strategy for Growth and Jobs, 2005.10.21, http:\/\/www.mariajoaorodrigues.eu\/files\/The_Debate_over_Europe_and_LS.doc (2005)."},{"key":"49_CR18","unstructured":"Rossiter, Nick, & Heather, Michael, Conditions for Interoperability, 7th ICEIS Florida, USA, 25\u201328 May 2005, 92\u201399 (2005)."},{"key":"49_CR19","doi-asserted-by":"crossref","unstructured":"Rossiter, Nick, Heather, Michael, & Nelson, David, A Natural Basis for Interoperability, in: Enterprise Interoperability: New Challenges and Approaches Doumeingts, G, M\u00fcller, J, Morel, G, & Vallespir, B, (edd) Springer 417\u2013426 (2007).","DOI":"10.1007\/978-1-84628-714-5_39"},{"key":"49_CR20","unstructured":"Ziemann, J, Ohren, O, Jae, \u223ckel, F-W, Kahl, T, & Knothe, T, Achieving Enterprise Model Interoperability Applying a Common Enterprise Metamodel, in:Enterprise Interoperability: New Challenges and Approaches Doumeingts, G, M\u00fcller, J, Morel, G, & Vallespir, B, (edd), Springer p.199\u2013208 (2007)."}],"container-title":["Enterprise Interoperability III"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/978-1-84800-221-0_49.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,5,1]],"date-time":"2021-05-01T22:33:27Z","timestamp":1619908407000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/978-1-84800-221-0_49"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["9781848002203","9781848002210"],"references-count":20,"URL":"https:\/\/doi.org\/10.1007\/978-1-84800-221-0_49","relation":{},"subject":[]}}