{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:15:21Z","timestamp":1725455721406},"publisher-location":"Berlin, Heidelberg","reference-count":25,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540638117"},{"type":"electronic","value":"9783540696513"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1997]]},"DOI":"10.1007\/bfb0025048","type":"book-chapter","created":{"date-parts":[[2005,11,19]],"date-time":"2005-11-19T02:56:54Z","timestamp":1132369014000},"page":"252-269","source":"Crossref","is-referenced-by-count":1,"title":["An automatic calculator with penrose diagrams"],"prefix":"10.1007","author":[{"given":"J. M.","family":"Molinelli","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. M.","family":"Barja","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"A.","family":"Blanco","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"J. L.","family":"Fieire","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,9]]},"reference":[{"key":"19_CR1","first-page":"94","volume":"530","author":"A. Burroni","year":"1991","unstructured":"Burroni, A.: Higher Dimensonal Word Problem. Lecture Notes in Computer Science, Springer 530 (1991) 94\u2013105","journal-title":"Springer"},{"key":"19_CR2","unstructured":"Caruncho, J. R.: Teoria de Triples. Alxebra 5, Dpto. Algebra y Fund. Univ. Santiago (1971)"},{"key":"19_CR3","doi-asserted-by":"publisher","first-page":"366","DOI":"10.1016\/0021-8693(66)90006-8","volume":"3","author":"S. Eilenberg","year":"1966","unstructured":"Eilenberg, S., Kelly, M.: A Generalization of the Functorial Calculus. J. Algebra 3 (1966) 366\u2013375.","journal-title":"J. Algebra"},{"key":"19_CR4","doi-asserted-by":"publisher","first-page":"156","DOI":"10.1016\/0001-8708(89)90018-2","volume":"77","author":"P. J. Freyd","year":"1989","unstructured":"Freyd, P. J., Yetter, D. N.: Braided Compact Closed Categories with Applications to Low Dimensional Topology. Advances in Mathematics 77 (1989) 156\u2013182.","journal-title":"Advances in Mathematics"},{"key":"19_CR5","unstructured":"Huet, G., Lansdorf, D. S.: On the Uniform Halting Problem for Term Rewriting Systems. Rapport Laboria 283 INRIA (1978)"},{"key":"19_CR6","doi-asserted-by":"publisher","first-page":"55","DOI":"10.1016\/0001-8708(91)90003-P","volume":"88","author":"A. Joyal","year":"1991","unstructured":"Joyal, A., Street, R.: The Geometry of Tensor Calculus I. Advances in Mathematics 88 (1991) 55\u2013112.","journal-title":"Advances in Mathematics"},{"key":"19_CR7","first-page":"412","volume":"1488","author":"A. Joyal","year":"1991","unstructured":"Joyal, A., Street, R.: An Introduction to Tannaka Duality and Quantum Groups. Lecture Notes in Math., Springer 1488 (1991) 412\u2013492.","journal-title":"Lecture Notes in Math., Springer"},{"key":"19_CR8","first-page":"265","volume-title":"Computational Problems in Abstrect Algebra","author":"D. E. Knuth","year":"1970","unstructured":"Knuth, D. E., Bendix, P. B.: Simple Word problems in universal algebras. J. Leech (Ed.) Computational Problems in Abstrect Algebra, Pergamon Press, Oxford (1970) 265\u2013297."},{"key":"19_CR9","unstructured":"Lafont, Y.: Penrose diagrams and 2-dimensional rewriting. Applications of Categories in Computer Science (ed. M. P. Fourman, P. T. Johnstone, and A. M. Pitts), LMSLNS 177 Cambridge University Press (1992) 191\u2013201."},{"key":"19_CR10","first-page":"171","volume":"909","author":"Y. Lafont","year":"1993","unstructured":"Lafont, Y.: Ecuational Reasoning with 2-dimensional Diagrams Lecture Notes in Computer Science, Springer 909 (1993) 171\u2013195.","journal-title":"Springer"},{"key":"19_CR11","unstructured":"Leroy, X.: The Objective Caml System, Release 1.03. Documentation and Users Manual. INRIA (1996)."},{"key":"19_CR12","first-page":"28","volume":"49","author":"S. MacLane","year":"1963","unstructured":"MacLane, S.: Natural associativity and conmutativity. Rise Univ. Stud. 49 (1963) 28\u201346.","journal-title":"Rise Univ. Stud."},{"key":"19_CR13","doi-asserted-by":"publisher","first-page":"59","DOI":"10.1016\/0022-4049(85)90087-8","volume":"37","author":"S. MacLane","year":"1985","unstructured":"MacLane, S., Pare, R.: Coherence for bicategories and indexed categories. J. Pure Appl. Algebra 37 (1985) 59\u201380.","journal-title":"J. Pure Appl. Algebra"},{"key":"19_CR14","doi-asserted-by":"publisher","first-page":"307","DOI":"10.1016\/0393-0440(94)90014-0","volume":"13","author":"S. Majid","year":"1994","unstructured":"Majid, S. Quantum and Braided-Lie algebras. Journal of Geometry and Physics 13 North Holland (1994) 307\u2013356.","journal-title":"Journal of Geometry and Physics"},{"key":"19_CR15","unstructured":"Oesterhout, J. K.: Tcl and the Tk Toolkit. Addison-Wesley (1993)."},{"key":"19_CR16","unstructured":"Pessaux, F., Rouaix, F.: The Camltk interface. Release for Tk4.0. Project Cristal. INRIA, Rocquencourt."},{"key":"19_CR17","doi-asserted-by":"crossref","unstructured":"Penrose, R., Rindler, W.: Spinors and space-time, Vol 1: Two-spinor calculus and relativistic fields. Cambridge University Press (1986).","DOI":"10.1017\/CBO9780511524486"},{"key":"19_CR18","doi-asserted-by":"publisher","first-page":"439","DOI":"10.1016\/0021-8693(90)90229-H","volume":"129","author":"A. J. Power","year":"1990","unstructured":"Power, A. J.: A 2-Categorical Pasting Theorem. J. of Algebra 129 (1990) 439\u2013445.","journal-title":"J. of Algebra"},{"key":"19_CR19","unstructured":"Reidemeister, K.: Knot Theory. B.C.S. Associates (1983)."},{"issue":"4","key":"19_CR20","doi-asserted-by":"crossref","first-page":"413","DOI":"10.1090\/S0273-0979-96-00690-8","volume":"33","author":"S. Sawing","year":"1996","unstructured":"Sawing, S.: Links, Quantum Groups and TQTFS. Bulletin (New Series) of the American Mathematical Society 33 N. 4 (1996) 413\u2013445.","journal-title":"Bulletin (New Series) of the American Mathematical Society"},{"key":"19_CR21","doi-asserted-by":"publisher","first-page":"57","DOI":"10.1016\/0022-4049(92)00039-T","volume":"93","author":"M. C. Shum","year":"1994","unstructured":"Shum, M. C.: Tortile tensor categories. Journal of Pure and Applied Algebra 93 (1994) 57\u2013110.","journal-title":"Journal of Pure and Applied Algebra"},{"issue":"1","key":"19_CR22","doi-asserted-by":"crossref","first-page":"61","DOI":"10.1109\/21.87055","volume":"18","author":"R. Tamasia","year":"1988","unstructured":"Tamasia, R., Di Battista, G., Batini, C.: Automatic Graph Drawing and Readability of Diagrams. IEEE Transactions on Systems, Man, and Cybernetics, 18 N. 1 (1988) 61\u201379.","journal-title":"IEEE Transactions on Systems, Man, and Cybernetics"},{"key":"19_CR23","doi-asserted-by":"publisher","first-page":"527","DOI":"10.1007\/BF01393746","volume":"92","author":"V. G. Turaev","year":"1988","unstructured":"Turaev, V. G.: The Yang-Baxter equation and invariants of links. Inventiones Mathematicae 92 Springer Verlag (1988) 527\u2013533.","journal-title":"Inventiones Mathematicae"},{"key":"19_CR24","unstructured":"Welch, B.: Practical Programming in Tcl and Tk. Prentice-Hall (1995)."},{"key":"19_CR25","doi-asserted-by":"crossref","unstructured":"Wechler, W.: Universal Algebra for Computer Scientists. EATCS Monographs on Theoretical Computer Science. Springer-Verlag (1992).","DOI":"10.1007\/978-3-642-76771-5"}],"container-title":["Lecture Notes in Computer Science","Computer Aided Systems Theory \u2014 EUROCAST'97"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/BFb0025048","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,10]],"date-time":"2020-04-10T21:39:02Z","timestamp":1586554742000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0025048"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1997]]},"ISBN":["9783540638117","9783540696513"],"references-count":25,"URL":"https:\/\/doi.org\/10.1007\/bfb0025048","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1997]]}}}