{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,4]],"date-time":"2024-09-04T13:26:28Z","timestamp":1725456388619},"publisher-location":"Berlin\/Heidelberg","reference-count":9,"publisher":"Springer-Verlag","isbn-type":[{"type":"print","value":"354055727X"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"DOI":"10.1007\/bfb0013077","type":"book-chapter","created":{"date-parts":[[2005,11,23]],"date-time":"2005-11-23T07:02:07Z","timestamp":1132729327000},"page":"393-402","source":"Crossref","is-referenced-by-count":1,"title":["Consistency of equational enrichments"],"prefix":"10.1007","author":[{"given":"Valentin","family":"Antimirov","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Anatoli","family":"Degtyarev","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","reference":[{"key":"34_CR1","unstructured":"Goguen J.J., Thatcher J., Wagner E. An initial algebra approach to the specification, correctness and implementation of abstract data types. In: Current trends in programming methodology, Vol.4, Prentice-Hall, 1978, pp.80\u2013149."},{"key":"34_CR2","unstructured":"Antimirov V.M., Naidich D.E., Koval V.N.: Partial functions in simulation: formal models and calculi. In: Proc. IMACS European Simulation Meeting, Esztergom, Hungary, August, 28\u201330, 1990, pp.143\u2013148."},{"key":"34_CR3","unstructured":"Dershowitz N., J.-P. Rewrite systems. In: J.van Leeuwen, ed. Handbook on Theoretical Computer Science, Vol B, Chpt. 6, Elsevier Sci. Pub. B.V., 1990, pp.244\u2013320."},{"key":"34_CR4","doi-asserted-by":"crossref","unstructured":"Ehrig H., Mahr B. Fundamentals of algebraic specification: Vol. 1, Springer-Verlag, 1985.","DOI":"10.1007\/978-3-642-69962-7"},{"key":"34_CR5","doi-asserted-by":"publisher","first-page":"289","DOI":"10.1016\/0304-3975(84)90056-2","volume":"34","author":"M. Gogolla","year":"1984","unstructured":"Gogolla M., Drosten K., Lipeck U.W., Ehrich H.-D. Algebraic and operational semantics of specifications allowing exceptions and errors. In: TCS 34, 1984, pp.289\u2013313.","journal-title":"TCS"},{"key":"34_CR6","unstructured":"Goguen J., Meseguer J. Order-sorted algebra 1. SRI International, Technical Report SRI-CLS-89, July 1989."},{"key":"34_CR7","doi-asserted-by":"crossref","unstructured":"Goguen J., Meseguer J. Models and Equality for Logic Programming. In: TAPSOFT'87, LNCS 250, pp.1\u201322.","DOI":"10.1007\/BFb0014969"},{"key":"34_CR8","volume-title":"Algebraic Systems","author":"A.I. Mal'cev","year":"1970","unstructured":"Mal'cev A.I. Algebraic Systems. Moscow, Nauka, 1970, 392p. (in Russion)"},{"key":"34_CR9","first-page":"297","volume-title":"Resolution of Equations in Algebraic Structures","author":"J. Smolka","year":"1989","unstructured":"Smolka J., Nutt W., Goguen J., Meseguer J. Order-sorted Equational Computation. In: H.Ait-Kaci and M.Nivat, eds, Resolution of Equations in Algebraic Structures, Academic Press, New-York, 1989, 297\u2013367."}],"container-title":["Lecture Notes in Computer Science","Logic Programming and Automated Reasoning"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/www.springerlink.com\/index\/pdf\/10.1007\/BFb0013077","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,4,11]],"date-time":"2020-04-11T04:29:31Z","timestamp":1586579371000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/BFb0013077"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[null]]},"ISBN":["354055727X"],"references-count":9,"URL":"https:\/\/doi.org\/10.1007\/bfb0013077","relation":{},"subject":[]}}