{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,3]],"date-time":"2022-04-03T01:54:13Z","timestamp":1648950853201},"reference-count":20,"publisher":"Springer Science and Business Media LLC","issue":"1-2","license":[{"start":{"date-parts":[[1994,3,1]],"date-time":"1994-03-01T00:00:00Z","timestamp":762480000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["Ann Math Artif Intell"],"published-print":{"date-parts":[[1994,3]]},"DOI":"10.1007\/bf01530943","type":"journal-article","created":{"date-parts":[[2005,4,19]],"date-time":"2005-04-19T00:28:43Z","timestamp":1113870523000},"page":"25-54","source":"Crossref","is-referenced-by-count":4,"title":["Categorical shape theory as a formal language for pattern recognition?"],"prefix":"10.1007","volume":"10","author":[{"given":"Timothy","family":"Porter","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"CR1","volume-title":"Process Algebra","author":"J.C.M. Baeten","year":"1986","unstructured":"J.C.M. Baeten and W.D. Weijland,Process Algebra (Kluwer, Deventer, 1986)."},{"key":"CR2","doi-asserted-by":"crossref","first-page":"109","DOI":"10.1016\/S0019-9958(84)80025-X","volume":"69","author":"J.A. Bergstra","year":"1984","unstructured":"J.A. Bergstra and J.W. Klop, Process algebra for synchronous communication, Information and Control 69 (1984) 109?137.","journal-title":"Information and Control"},{"key":"CR3","first-page":"161","volume":"21","author":"D. Bourn","year":"1980","unstructured":"D. Bourn and J.-M. Cordier, Distributeurs et th\u00e9orie de la forme, Cahiers Top. et G\u00e9om. Diff. 21 (1980) 161?189.","journal-title":"Cahiers Top. et G\u00e9om. Diff."},{"key":"CR4","unstructured":"J.-M. Cordier and T. Porter,Shape Theory: Categorical Methods of Approximation, Mathematics and its Application (Ellis Horwood, 1989)."},{"key":"CR5","doi-asserted-by":"crossref","first-page":"13","DOI":"10.1007\/BF02459958","volume":"49","author":"A.C. Ehresmann","year":"1987","unstructured":"A.C. Ehresmann and J.-P. Vanbremeersch, Hierarchical evolutive systems: a mathematical model for complex systems, Bull. Math. Biol. 49 (1987) 13?50.","journal-title":"Bull. Math. Biol."},{"key":"CR6","unstructured":"A.C. Ehresmann and J.-P. Vanbremeersch, Syst\u00e8mes hi\u00e9rarchiques \u00e9volutifs \u00e0 m\u00e9moire autor\u00e9gul\u00e9e,Synergie et coh\u00e9rence dans les syst\u00e8mes biologiques, S\u00e9minaire Transdisciplinaire, Centre Interuniversitaire Jussieu-St. Bernard, May 1989."},{"key":"CR7","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1016\/0304-3975(87)90045-4","volume":"50","author":"J.-Y. Girard","year":"1987","unstructured":"J.-Y. Girard, Linear logic, Theor. Comput. Sci. 50 (1987) 1?102.","journal-title":"Theor. Comput. Sci."},{"key":"CR8","unstructured":"J.A. Goguen, Types as theories,Proc. Symp. on General Topology and its Applications, Oxford, June 1989 (Oxford University Press, 1990)."},{"key":"CR9","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1017\/S0960129500000050","volume":"1","author":"J.A. Goguen","year":"1991","unstructured":"J.A. Goguen, A categorical manifesto, Math. Struct. Comp. Sci. 1 (1991) 49?67.","journal-title":"Math. Struct. Comp. Sci."},{"key":"CR10","unstructured":"G.M. Kelly,The Basic Concepts of Enriched Category Theory, London Mathematical Society Lecture Notes, No. 64 (Cambridge University Press, 1983)."},{"key":"CR11","doi-asserted-by":"crossref","unstructured":"F.E.J. Linton, Some aspects of equational categories,Proc. Conf. Categorical on Algebra, La Jolla, 1965 (Springer, 1966) pp. 84?95.","DOI":"10.1007\/978-3-642-99902-4_3"},{"key":"CR12","doi-asserted-by":"crossref","unstructured":"S. MacLane,Categories for the Working Mathematician, Grad. Texts in Maths. Vol. 5 (Springer, 1971).","DOI":"10.1007\/978-1-4612-9839-7"},{"key":"CR13","doi-asserted-by":"crossref","unstructured":"M. Makkai and R. Par\u00e9,Accessible Categories: The Foundations of Categorical Model Theory, Contemporary mathematics, Vol. 104 (1989).","DOI":"10.1090\/conm\/104"},{"key":"CR14","doi-asserted-by":"crossref","unstructured":"E.G. Manes and M.A. Arbib,Algebraic Approaches to Program Semantics, Texts and Monographs in Computer Science (Springer, 1986).","DOI":"10.1007\/978-1-4612-4962-7"},{"key":"CR15","doi-asserted-by":"crossref","first-page":"69","DOI":"10.1017\/S0960129500000062","volume":"1","author":"N. Mart\u00ed-Oliet","year":"1991","unstructured":"N. Mart\u00ed-Oliet and J. Meseguer, From Petri nets to linear logic, Math. Struct. Comp. Sci. 1 (1991) 69?101.","journal-title":"Math. Struct. Comp. Sci."},{"key":"CR16","doi-asserted-by":"crossref","first-page":"105","DOI":"10.1016\/0890-5401(90)90013-8","volume":"88","author":"J. Meseguer","year":"1990","unstructured":"J. Meseguer and U. Montari, Petri nets are monoids, Informat. Computat. 88 (1990) 105?155.","journal-title":"Informat. Computat."},{"key":"CR17","unstructured":"R. Par\u00e9, Some applications of categorical model theory, categories in computer science and logic,Proc. of a Summer Research Conf., June 14?20, 1987, Contemporary Mathematics, Vol. 92 (1989)."},{"key":"CR18","unstructured":"M. Pavel,Fundamentals of Pattern Recognition (Marcel Dekker, 1989) Pure and Applied Mathematics, Vol. 124."},{"key":"CR19","unstructured":"D.E. Rydeheard and J.G. Stell, Foundations of equational deduction: A categorical treatment of equational proofs and unification algorithms,Category Theory and Computer Science, Lecture Notes in Computer Science, Vol. 283 (1987)."},{"key":"CR20","unstructured":"S. Vickers,Topology via Logic, Cambridge Tracts in Theoretical Computer Science 5 (Cambridge University Press, 1989)."}],"container-title":["Annals of Mathematics and Artificial Intelligence"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530943\/fulltext.html","content-type":"unspecified","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530943.pdf","content-type":"application\/pdf","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/article\/10.1007\/BF01530943\/fulltext.html","content-type":"text\/html","content-version":"vor","intended-application":"text-mining"},{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BF01530943","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,7]],"date-time":"2020-04-07T00:01:22Z","timestamp":1586217682000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BF01530943"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994,3]]},"references-count":20,"journal-issue":{"issue":"1-2","published-print":{"date-parts":[[1994,3]]}},"alternative-id":["BF01530943"],"URL":"https:\/\/doi.org\/10.1007\/bf01530943","relation":{},"ISSN":["1012-2443","1573-7470"],"issn-type":[{"value":"1012-2443","type":"print"},{"value":"1573-7470","type":"electronic"}],"subject":[],"published":{"date-parts":[[1994,3]]}}}