{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2025,11,6]],"date-time":"2025-11-06T19:47:54Z","timestamp":1762458474544},"publisher-location":"Berlin\/Heidelberg","reference-count":12,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354051662X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0018358","type":"book-chapter","created":{"date-parts":[[2005,11,22]],"date-time":"2005-11-22T07:50:09Z","timestamp":1132645809000},"page":"300-312","source":"Crossref","is-referenced-by-count":16,"title":["An abstract formulation for rewrite systems"],"prefix":"10.1007","author":[{"given":"A. J.","family":"Power","sequence":"first","affiliation":[]}],"member":"297","reference":[{"key":"18_CR1","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BFb0074299","volume":"47","author":"J. Benabou","year":"1967","unstructured":"J. BENABOU, Introduction to bicategories, Lecture Notes in Math. 47 (1967), 1\u201377.","journal-title":"Lecture Notes in Math."},{"key":"18_CR2","unstructured":"S. EILENBERG and R.H. STREET, Seminar notes by R.H. Street delivered at Sydney Category Seminars, 1987\u201388."},{"key":"18_CR3","unstructured":"C.A.R. HOARE, Data refinement in a categorical setting, Preprint, June 1987."},{"key":"18_CR4","unstructured":"G. HUET, Equational systems for Category Theory and Intuitionistic Logic, draft, 1983."},{"key":"18_CR5","unstructured":"M. JOHNSON, Pasting diagrams in n-categories with applications to coherence theorems and categories of paths, Ph.D. thesis, University of Sydney, 1987."},{"key":"18_CR6","doi-asserted-by":"crossref","first-page":"75","DOI":"10.1007\/BFb0063101","volume":"420","author":"G.M. Kelly","year":"1974","unstructured":"G.M. KELLY and R.H. STREET, Review of the elements of 2-categories, Lecture Notes in Math. 420 (1974), 75\u2013103.","journal-title":"Lecture Notes in Math."},{"key":"18_CR7","first-page":"263","volume-title":"Simple Word Problems in Universal Algebras","author":"D. E. Knuth","year":"1970","unstructured":"DONALD E. KNUTH and PETER B. BENDIX, Simple Word Problems in Universal Algebras, Computational Problems in Abstract Algebra, Permagon Press, Oxford, 1970, 263\u2013297."},{"key":"18_CR8","unstructured":"A.J. POWER, A 2-categorical pasting theorem, J. Algebra (to appear)."},{"key":"18_CR9","unstructured":"D.E. RYDEHEARD and J.G. STELL, Foundations of Equational Deduction: A Categorical Treatment of Equational Proofs and Unification Algorithms, Preprint."},{"key":"18_CR10","unstructured":"R.A.G. SEELY, Modelling computations \u2014 a 2-categorical approach, Proc. 2nd Symp. on Logic in Comp. Science, Ithaca, New York, IEEE Publications 1987."},{"key":"18_CR11","doi-asserted-by":"crossref","unstructured":"R.H. STREET, Limits indexed by category-valued 2-functors, J. Pure Appl. Algebra 8, 149\u2013181.","DOI":"10.1016\/0022-4049(76)90013-X"},{"key":"18_CR12","unstructured":"C. WELLS, Path grammars, Conf. on Algebraic Methods and Software Technology, University of Iowa, 24th May 1989."}],"container-title":["Lecture Notes in Computer Science","Category Theory and Computer Science"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0018358","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,11,5]],"date-time":"2019-11-05T03:05:44Z","timestamp":1572923144000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0018358"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354051662X"],"references-count":12,"URL":"https:\/\/doi.org\/10.1007\/bfb0018358","relation":{},"subject":[]}}