{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:49Z","timestamp":1725663529710},"publisher-location":"Berlin, Heidelberg","reference-count":17,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540192428"},{"type":"electronic","value":"9783540391661"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1988]]},"DOI":"10.1007\/3-540-19242-5_9","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:05:04Z","timestamp":1330200304000},"page":"98-110","source":"Crossref","is-referenced-by-count":0,"title":["Equational axiomatizations of if-then-else"],"prefix":"10.1007","author":[{"given":"Ir\u00e8ne","family":"Guessarian","sequence":"first","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"9_CR1","doi-asserted-by":"crossref","first-page":"433","DOI":"10.1017\/S0305004100013463","volume":"31","author":"G. Birkhoff","year":"1935","unstructured":"G. Birkhoff: On the structure of abstract algebras, Proc. Cambridge Philosophical Society 31 (1935), 433\u2013454.","journal-title":"Proc. Cambridge Philosophical Society"},{"key":"9_CR2","doi-asserted-by":"crossref","first-page":"677","DOI":"10.1137\/0212047","volume":"12","author":"S. Bloom","year":"1983","unstructured":"S. Bloom, R. Tindell: Varieties of if...then...else... SIAM J. Comput. 12 (1983), 677\u2013707.","journal-title":"SIAM J. Comput."},{"key":"9_CR3","unstructured":"N. Dershowitz, D.A. Plaisted: Equational Programming, to appear in Machine Intelligence 11 (1987)."},{"key":"9_CR4","first-page":"295","volume-title":"Functional and Logic Programming","author":"J. Goguen","year":"1986","unstructured":"J. Goguen, J. Meseguer: Eqlog: Equality, Types, and Generic modules for Logic Programming, in Functional and Logic Programming, De Groot & Lindstrom (Eds.), Prentice Hall, London (1986), 295\u2013363."},{"key":"9_CR5","doi-asserted-by":"crossref","first-page":"24","DOI":"10.1145\/947864.947865","volume":"16","author":"J. Goguen","year":"1981","unstructured":"J. Goguen, J. Meseguer: Completeness of many-sorted equational logic, SIGPLAN Notices 16 (1981), 24\u201332.","journal-title":"SIGPLAN Notices"},{"key":"9_CR6","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","DOI":"10.1007\/3-540-10284-1","volume-title":"Algebraic Semantics","author":"I. Guessarian","year":"1981","unstructured":"I. Guessarian: Algebraic Semantics, Lecture Notes in Computer Science 99, Springer Verlag, Berlin (1981)."},{"key":"9_CR7","doi-asserted-by":"crossref","first-page":"332","DOI":"10.1137\/0216025","volume":"16","author":"I. Guessarian","year":"1987","unstructured":"I. Guessarian, J. Meseguer: On the axiomatization of \"if-then-else\", SIAM Journ. on Comput. 16 (1987), 332\u2013357.","journal-title":"SIAM Journ. on Comput."},{"key":"9_CR8","series-title":"Lect. Notes in Comput. Sci.","volume-title":"Proc. First Int. Conf. on Rewriting Techniques and Applications","year":"1985","unstructured":"J.-P. Jouannaud (Ed.): Proc. First Int. Conf. on Rewriting Techniques and Applications, Lect. Notes in Comput. Sci. 202, Springer-Verlag, Berlin (1985)."},{"key":"9_CR9","doi-asserted-by":"crossref","unstructured":"S. Kaplan: Simplifying conditional term rewriting systems: unification, termination and confluence, to appear in Jour. of Symbolic Comput. (1987)","DOI":"10.1016\/S0747-7171(87)80010-X"},{"key":"9_CR10","unstructured":"D. Lankford, D. Musser: On semideciding first-order validity and invalidity, USC Tech. Report (1978)."},{"key":"9_CR11","doi-asserted-by":"crossref","unstructured":"J. McCarthy: A basis for a mathematical theory of computation, in Computer Programming and formal systems, Braffort & Hirschberg, Eds, Amsterdm (1963), 33\u201370.","DOI":"10.1016\/S0049-237X(08)72018-4"},{"key":"9_CR12","doi-asserted-by":"publisher","first-page":"103","DOI":"10.1007\/BF01187560","volume":"21","author":"E. Manes","year":"1985","unstructured":"E. Manes: Guard Modules, Algebra Universalis 21 (1985), 103\u2013110.","journal-title":"Algebra Universalis"},{"key":"9_CR13","first-page":"255","volume":"15","author":"M. Nivat","year":"1975","unstructured":"M. Nivat: On the interpretation of recursive polyadic program schemes, Symposia Mathematica 15, Rome (1975), 255\u2013281.","journal-title":"Symposia Mathematica"},{"key":"9_CR14","doi-asserted-by":"crossref","first-page":"1","DOI":"10.1007\/BF01418755","volume":"42","author":"P. Pappinghaus","year":"1983","unstructured":"P. Pappinghaus, M. Wirsing: Non deterministic three valued logic: Isotonic and guarded truth-functions, Studia Logica 42 (1983), 1\u201322.","journal-title":"Studia Logica"},{"key":"9_CR15","series-title":"Lecture Notes in Mathematics","doi-asserted-by":"crossref","first-page":"311","DOI":"10.1007\/BFb0059703","volume-title":"Symp. on Semantics of Algorithmic Languages","author":"D. Scott","year":"1971","unstructured":"D. Scott: The lattice of flow diagrans, in Symp. on Semantics of Algorithmic Languages, E. Engeler ed., Lecture Notes in Mathematics 182, Springer Verlag, Berlin (1971), 311\u2013366."},{"key":"9_CR16","doi-asserted-by":"crossref","first-page":"667","DOI":"10.1145\/322092.322105","volume":"25","author":"R. Sethi","year":"1978","unstructured":"R. Sethi: Conditional expressions with equality tests, JACM 25 (1978), 667\u2013674.","journal-title":"JACM"},{"key":"9_CR17","series-title":"Lect. Notes in Comput. Sci.","doi-asserted-by":"crossref","first-page":"46","DOI":"10.1007\/3-540-15976-2_2","volume-title":"Contextual Rewriting, Proc. First Int. Conf. on Rewriting Techniques and Applications","author":"H. Zhang","year":"1985","unstructured":"H. Zhang, J.-L. R\u00e9my: Contextual Rewriting, Proc. First Int. Conf. on Rewriting Techniques and Applications, Lect. Notes in Comput. Sci. 202, Springer-Verlag, Berlin (1985), 46\u201362."}],"container-title":["Lecture Notes in Computer Science","Conditional Term Rewriting Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-19242-5_9.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:16:53Z","timestamp":1605644213000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19242-5_9"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540192428","9783540391661"],"references-count":17,"URL":"https:\/\/doi.org\/10.1007\/3-540-19242-5_9","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}