{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:21:47Z","timestamp":1725456107047},"publisher-location":"Berlin\/Heidelberg","reference-count":34,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"3540553541"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0021012","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T01:02:29Z","timestamp":1132621349000},"page":"153-172","source":"Crossref","is-referenced-by-count":0,"title":["Object identification and retrieval in a CAST library"],"prefix":"10.1007","author":[{"given":"Charles","family":"Rattray","sequence":"first","affiliation":[]},{"given":"Marion","family":"Marsden","sequence":"additional","affiliation":[]}],"member":"297","reference":[{"key":"12_CR1","doi-asserted-by":"crossref","DOI":"10.1007\/978-1-4899-0021-0","volume-title":"Topos, Triples, and Theories","author":"M Barr","year":"1985","unstructured":"M Barr, C Wells: Topos, Triples, and Theories, Springer-Verlag, New York, 1985."},{"key":"12_CR2","first-page":"2","volume":"XXVII","author":"M Barr","year":"1986","unstructured":"M Barr: \u201cModels of Sketches\u201d, Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9ntielle Cat\u00e9goriques, XXVII, 2, 1986.","journal-title":"Cahiers de Topologie et G\u00e9om\u00e9trie Diff\u00e9ntielle Cat\u00e9goriques"},{"key":"12_CR3","unstructured":"M Barr, C Wells: Category Theory for Computing Science, Prentice-Hall International Series in Computer Science, London, 1990."},{"key":"12_CR4","doi-asserted-by":"crossref","unstructured":"F L Bauer, M Wirsing: \u201cCrypt-Equivalent Algebraic Specifications\u201d, Acta Informatica, 25, 1988.","DOI":"10.1007\/BF00263582"},{"key":"12_CR5","unstructured":"K Borsuk: Theory of Shape, Monografie Matematyczne, 59, Warsaw, 1975."},{"key":"12_CR6","unstructured":"J G Carbonell: \u201cDerivational Analogy and Its Role in Problem-Solving\u201d, Proceedings AAAI-83, Washington, 1983."},{"key":"12_CR7","volume-title":"UCNW Pure Maths Preprint 86.16","author":"J-M Cordier","year":"1986","unstructured":"J-M Cordier, T Porter: \u201cPattern Recognition and Categorical Shape Theory\u201d, UCNW Pure Maths Preprint 86.16, University of Wales, Bangor, UK, 1986."},{"key":"12_CR8","unstructured":"J-M Cordier, T Porter: Shape Theory: categorical approximation methods, Ellis Horwood Ltd., 1990."},{"key":"12_CR9","first-page":"3","volume":"XCVII","author":"A Deleanu","year":"1977","unstructured":"A Deleanu, P Hilton: \u201cOn the Categorical Shape of a Functor\u201d, Fundamenta Mathematicae, XCVII, 3, 1977.","journal-title":"Fundamenta Mathematicae"},{"key":"12_CR10","unstructured":"C Ehresmann: \u201cEsquisses et Types des Structures Alg\u00e9briques\u201d, Bull. Instit. Polit., Iasi, XIV, 1968."},{"key":"12_CR11","doi-asserted-by":"crossref","unstructured":"H Ehrig, B Mayr: Fundamentals of Algebraic Specification, Vol. I: Equations and Initial Semantics, Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"12_CR12","doi-asserted-by":"crossref","unstructured":"H-D Ehrich, A Sernadas, C Sernadas; \u201cObjects, Object Types, and Object Identification\u201d, Lecture Notes in Computer Science, 393, 1989.","DOI":"10.1007\/3-540-51722-7_9"},{"key":"12_CR13","unstructured":"D Eichmann, J Atkins: \u201cDesign of a Latticed-Based Faceted Classification System\u201d, 2nd International Conference on Software Engineering and Knowledge Engineering, Skokie, Illinois, June 21\u201323 1990."},{"key":"12_CR14","doi-asserted-by":"crossref","unstructured":"W Gaube, H C Mayr, P C Lockemann: \u201cRetrieval in a Module Library Using Formal Specifications: preliminary search using syntactic properties\u201d, Preprint, Institut f\u00fcr Informatik II, Universit\u00e4t Karlsruhe, 1985.","DOI":"10.1007\/3-540-15984-3_261"},{"key":"12_CR15","unstructured":"R Gould: Graph Theory, Benjamin Cummings Publ., 1988."},{"key":"12_CR16","first-page":"2","volume":"50","author":"J. W. Gray","year":"1987","unstructured":"J W Gray: \u201cCategorical Aspects of Data Type Constructors\u201d, Theoretical Computer Science, 50, 2, 1987.","journal-title":"Theoretical Computer Science"},{"key":"12_CR17","unstructured":"R Guitart, C Lair: \u201cCalcul syntaxique des mod\u00e8les et formules internes\u201d, Diagrammes, 4, 1980."},{"key":"12_CR18","unstructured":"R Guitart, C Lair: \u201cLimites et co-limites pour repr\u00e9senter les formules\u201d, Diagrammes, 7, 1982."},{"key":"12_CR19","doi-asserted-by":"crossref","unstructured":"D Kapur, H Zhang: \u201cAn overview of RRL: Rewrite Rule Laboratory\u201d, 9th International Conference on Automated Deduction, Lecture Notes in Computer Science, 355, 1989.","DOI":"10.1007\/3-540-51081-8_138"},{"key":"12_CR20","unstructured":"C Lair: \u201cEtude G\u00e9n\u00e9rale de la Categorie des Esquisses\u201d, Esquisses Math., 23, Amiens, 1975."},{"key":"12_CR21","unstructured":"C Lair: \u201cCat\u00e9gories qualifiables et cat\u00e9gories esquissables\u201d, Diagrammes, 17, 1987."},{"key":"12_CR22","unstructured":"C Lair: \u201cTrames et S\u00e9mantiques Cat\u00e9goriques des Syst\u00e8mes de Trames\u201d, Diagrammes, 18, Paris, 1987."},{"key":"12_CR23","unstructured":"S K Lellali: \u201cCategorical Abstract Data Types (CADT)\u201d, Digrammes, 21 1989."},{"key":"12_CR24","volume-title":"Categories for the Working Mathematician","author":"S MacLane","year":"1971","unstructured":"S MacLane: Categories for the Working Mathematician, Springer-Verlag, New York, 1971."},{"key":"12_CR25","doi-asserted-by":"crossref","unstructured":"M Makai, R Par\u00e9: Accessible Categories: the Foundations of Categorical Model Theory, Contemporary Mathematics, 104, American Mathematics Society Publication, 1989.","DOI":"10.1090\/conm\/104"},{"key":"12_CR26","doi-asserted-by":"crossref","unstructured":"R Prieto-Diaz, P Freeman: \u201cClassifying Software for Reusability\u201d, IEEE Software, 1987.","DOI":"10.1109\/MS.1987.229789"},{"key":"12_CR27","volume-title":"Proceedings of 3rd Annual Knowledge-Based Assistant Conference","author":"C Rattray","year":"1988","unstructured":"C Rattray, J McInnes, A C Reeves, M Thomas: \u201cSoftware Re-Usability in a Knowledge-Based Environment\u201d, Proceedings of 3rd Annual Knowledge-Based Assistant Conference, Rome Air Development Center, Utica, 1988."},{"key":"12_CR28","unstructured":"C Rattray: \u201cSystems Factories and CAST\u201d, in Cybernetics and Systems '90 (R Trappl: editor), World Scientific Publ. Co., 1990."},{"key":"12_CR29","volume-title":"Artificial Intelligence and Software Engineering","author":"C Rattray","year":"1990","unstructured":"C Rattray, J McInnes, A C Reeves, M Thomas: \u201cA Knowledge-Based Model for Software Re-Usability\u201d, in Artificial Intelligence and Software Engineering (D Partridge: editor), Ablex Publ. Co., New York, 1990."},{"key":"12_CR30","unstructured":"P Rowlinson: personal communication, 1991."},{"key":"12_CR31","first-page":"3","volume":"55","author":"G-C Rota","year":"1988","unstructured":"G-C Rota, D H Sharp, R Sokolowski: \u201cSyntax, Semantics, and the Problem of the Identity of Mathematical Objects\u201d, J Phil of Science, 55, 3, 1988.","journal-title":"J Phil of Science"},{"key":"12_CR32","unstructured":"Y V Srinivas: \u201cPattern Matching: a Sheaf-Theoretic Approach\u201d, 2nd International Conference on Algebraic Methodology and Software Technology (AMAST'91), Workshops in Computing Series, Springer-Verlag, 1992."},{"key":"12_CR33","volume-title":"PhD thesis","author":"T. Ahmed","year":"1991","unstructured":"Tanvir Ahmed: PhD thesis, Department of Computer Science, University of Strathclyde, UK, 1991."},{"key":"12_CR34","unstructured":"Y S Yang: personal communication, 1991."}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2014 EUROCAST '91"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0021012.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,12,9]],"date-time":"2020-12-09T16:45:51Z","timestamp":1607532351000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0021012"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["3540553541"],"references-count":34,"URL":"https:\/\/doi.org\/10.1007\/bfb0021012","relation":{},"subject":[]}}