{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:44Z","timestamp":1725663524745},"publisher-location":"Berlin, Heidelberg","reference-count":15,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540563938"},{"type":"electronic","value":"9783540475491"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1993]]},"DOI":"10.1007\/3-540-56393-8_5","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T06:09:13Z","timestamp":1330236553000},"page":"67-81","source":"Crossref","is-referenced-by-count":2,"title":["Consistency and semantics of equational definitions over predefined algebras"],"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","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"5_CR1","first-page":"393","volume-title":"LNCS 624","author":"V. Antimirov","year":"1992","unstructured":"Antimirov V., Degtyarev A.: Consistency of equational enrichments. LPAR'92, Proc. Int. Conf. on Logic Programming and Automated Reasoning, St. Petersburg, LNCS 624, Springer-Verlag (1992) 393\u2013402."},{"key":"5_CR2","unstructured":"Antimirov V., Naidich D., Koval V.: Partial functions in simulation: formal models and calculi. Proc. IMACS European Simulation Meeting, Esztergom, Hungary, 1990, pp.143\u2013148."},{"key":"5_CR3","unstructured":"Avenhaus J., Becker K.: Conditional rewriting modulo a built-in algebra. Technical report (SEKI Report SR-92-11), 1992, 23p."},{"key":"5_CR4","doi-asserted-by":"crossref","unstructured":"Dershowitz N., Jouannaud J.-P.: Rewrite systems. J.van Leeuwen, A.Meyer, M.Nivat, M.Paterson, and D.Perrin editors, Handbook of Theoretical Computer Science, Vol B, chapter 6, Elsevier Sci. Pub. 1990.","DOI":"10.1016\/B978-0-444-88074-1.50011-1"},{"key":"5_CR5","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":"5_CR6","doi-asserted-by":"crossref","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., Ehrich H.-D.: Algebraic and operational semantics of specifications allowing exceptions and errors. TCS 34(1984) 289\u2013313.","journal-title":"TCS"},{"key":"5_CR7","unstructured":"Goguen J., Meseguer J.: Order-sorted algebra solves the constructor selector, multiple representation and coercion problems. Proc. Second Symposium on Logic in Comp. Sci. IEEE Comp. Society Press, 1987, 18\u201329."},{"key":"5_CR8","unstructured":"Goguen J., Meseguer J.: Order-sorted algebra 1. SRI International, Technical Report SRI-CLS-89, July 1989."},{"key":"5_CR9","unstructured":"Goguen J., Thatcher J., Wagner E.: An initial algebra approach to the specification, correctness and implementation of abstract data types. Current trends in programming methodology, Vol.4, Prentice-Hall, 1978, pp.80-149."},{"key":"5_CR10","unstructured":"Goguen J., Winkler T.: Introducing OBJ3. Technical report SRI-CSL-89-10, Comp. Sci. Lab., SRI International, 1988."},{"issue":"1","key":"5_CR11","doi-asserted-by":"publisher","first-page":"1","DOI":"10.1016\/0890-5401(89)90062-X","volume":"82","author":"J.-P. Jouannaud","year":"1989","unstructured":"Jouannaud J.-P., Kounalis E.: Automatic proofs by induction in theories without constructors. Information and Computation, 82, 1 (1989) 1\u201333.","journal-title":"Information and Computation"},{"key":"5_CR12","unstructured":"Kirchner H.: Proofs in parameterized specifications. Technical report (extended version) CRIN 91-R-045."},{"key":"5_CR13","doi-asserted-by":"crossref","unstructured":"Kreowski H.-J.: Partial algebras flow from algebraic specifications. ICALP'87, Proc. Int. Coll. on Automata, Languages, and Programming, LNCS 267, Springer-Verlag (1987) 521\u2013530.","DOI":"10.1007\/3-540-18088-5_45"},{"key":"5_CR14","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. H. Ait-Kaci and M. Nivat, editors, Resolution of Equations in Algebraic Structures, Academic Press, New-York, 1989, 297\u2013367."},{"key":"5_CR15","doi-asserted-by":"crossref","unstructured":"Wirsing M.: Algebraic specification. J.van Leeuwen, A.Meyer, M.Nivat, M.Paterson, and D.Perrin editors, Handbook of Theoretical Computer Science, Vol B, chapter 13. Elsevier Sci. Pub. B.V.,1990.","DOI":"10.1016\/B978-0-444-88074-1.50018-4"}],"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-56393-8_5.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,12,30]],"date-time":"2021-12-30T23:47:01Z","timestamp":1640908021000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-56393-8_5"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1993]]},"ISBN":["9783540563938","9783540475491"],"references-count":15,"URL":"https:\/\/doi.org\/10.1007\/3-540-56393-8_5","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1993]]}}}