{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:10:51Z","timestamp":1725664251461},"publisher-location":"Berlin, Heidelberg","reference-count":19,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540577850"},{"type":"electronic","value":"9783540483328"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1994]]},"DOI":"10.1007\/3-540-57785-8_147","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T13:19:02Z","timestamp":1330262342000},"page":"263-274","source":"Crossref","is-referenced-by-count":4,"title":["Operational specifications with built-ins"],"prefix":"10.1007","author":[{"given":"J\u00fcrgen","family":"Avenhaus","sequence":"first","affiliation":[]},{"given":"Klaus","family":"Becker","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,31]]},"reference":[{"key":"21_CR1","unstructured":"J. Avenhaus and K. Becker, Conditional rewriting modulo a built-in algebra, SEKI Report SR-92-11."},{"key":"21_CR2","unstructured":"J. Avenhaus and K. Madlener, Term rewriting and equational reasoning, in: R. B. Banerji, ed., Formal Techniques in Artificial Intelligence (Amsterdam, 1990) pp. 1\u201343."},{"key":"21_CR3","doi-asserted-by":"crossref","first-page":"173","DOI":"10.1016\/0304-3975(89)90003-0","volume":"67","author":"L. Bachmair","year":"1989","unstructured":"L. Bachmair and N. Dershowitz, Completion for rewriting modulo a congruence, Theor. Comp. Science 67 (1989) pp. 173\u2013201.","journal-title":"Theor. Comp. Science"},{"key":"21_CR4","first-page":"46","volume":"668","author":"K. Becker","year":"1993","unstructured":"K. Becker, Proving ground confluence and inductive validity in constructor based equational specifications, TAPSOFT '93, LNCS 668 (Berlin, 1993) pp. 46\u201360.","journal-title":"LNCS"},{"key":"21_CR5","first-page":"1","volume":"159","author":"M. Broy","year":"1983","unstructured":"M. Broy and M. Wirsing, Generalized heterogenous algebras and partial interpretations, in: Proc. 8th CAAP, LNCS 159 (Berlin, 1983) pp. 1\u201334.","journal-title":"LNCS"},{"key":"21_CR6","doi-asserted-by":"crossref","first-page":"139","DOI":"10.1016\/0304-3975(84)90086-0","volume":"33","author":"M. Broy","year":"1984","unstructured":"M. Broy, C. Pair and M. Wirsing, A systematic study of models of abstract data types, Theor. Comp. Science 33 (1984) pp. 139\u2013174.","journal-title":"Theor. Comp. Science"},{"key":"21_CR7","unstructured":"N. Dershowitz and J. P. Jouannaud, Rewriting systems, in: J. van Leeuwen, ed., Handbook of Theoretical Computer Science, Vol. B (Amsterdam, 1990) pp. 241\u2013320."},{"issue":"1\/2","key":"21_CR8","doi-asserted-by":"crossref","first-page":"111","DOI":"10.1016\/0304-3975(90)90064-O","volume":"75","author":"N. Dershowitz","year":"1990","unstructured":"N. Dershowitz and M. Okada, A rationale for conditional equational rewriting, Theoret. Comput. Science 75(1\/2) (1990) pp. 111\u2013137.","journal-title":"Theoret. Comput. Science"},{"key":"21_CR9","first-page":"589","volume":"607","author":"N. Dershowitz","year":"1992","unstructured":"N. Dershowitz, S. Mitra and G. Sivakumar, Decidable matching for convergent systems, in: CADE 11, LNCS 607 (Berlin, 1992) pp. 589\u2013602.","journal-title":"LNCS"},{"key":"21_CR10","doi-asserted-by":"crossref","first-page":"797","DOI":"10.1145\/322217.322230","volume":"27","author":"G. Huet","year":"1980","unstructured":"G. Huet, Confluent reductions: abstract properties and applications to term rewriting systems, J. of the ACM 27 (1980) pp. 797\u2013821.","journal-title":"J. of the ACM"},{"key":"21_CR11","unstructured":"J. Jaffar and J.-L. Lassez, Constraint logic programming, in ACM Symp. on Principles of Progr. Languages '87 (1987) pp. 111\u2013119."},{"key":"21_CR12","doi-asserted-by":"crossref","first-page":"1155","DOI":"10.1137\/0215084","volume":"15","author":"J.-P. Jouannaud","year":"1986","unstructured":"J.-P. Jouannaud and H. Kirchner, Completion of a set of rules modulo a set of equations, SIAM J. on Comp. 15 (1986) pp. 1155\u20131194.","journal-title":"SIAM J. on Comp."},{"key":"21_CR13","first-page":"178","volume":"355","author":"S. Kaplan","year":"1989","unstructured":"S. Kaplan and C. Choppy, Abstract rewriting with concrete operators, in: 3rd RTA '89, LNCS 355, (Berlin, 1989) pp. 178\u2013185.","journal-title":"LNCS"},{"key":"21_CR14","unstructured":"D. Kapur and D.R. Musser, Inductive reasoning for incomplete specifications, in: Proc. IEEE Symposium on LICS (Cambridge MA, 1986) pp. 367\u2013377."},{"key":"21_CR15","first-page":"9","volume":"4","author":"C. Kirchner","year":"1990","unstructured":"C. Kirchner, H. Kirchner and M. Rusinowitch, Deduction with symbolic constraints, Revue d'Intelligence Artificielle 4 (1990) pp. 9\u201352.","journal-title":"Revue d'Intelligence Artificielle"},{"key":"21_CR16","doi-asserted-by":"crossref","unstructured":"G. Smolka, W. Nutt, J.A. Goguen and J. Meseguer, Order-sorted equational computation, in: CREAS (San Diego, 1989) pp. 297\u2013367.","DOI":"10.1016\/B978-0-12-046371-8.50016-X"},{"key":"21_CR17","first-page":"492","volume":"355","author":"S.G. Vorobyov","year":"1989","unstructured":"S.G. Vorobyov, Conditional rewrite rule systems with built-in arithmetic and induction, in: 3rd RTA '89, LNCS 355, (Berlin, 1989) pp. 492\u2013512.","journal-title":"LNCS"},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"M. Wirsing, Algebraic specification, in: J. van Leeuwen, ed., Handbook of Theoretical Computer Science, Vol. B (Amsterdam, 1990) pp. 675\u2013788.","DOI":"10.1016\/B978-0-444-88074-1.50018-4"},{"key":"21_CR19","first-page":"198","volume":"656","author":"C.-P. Wirth","year":"1993","unstructured":"C.-P. Wirth and B. Gramlich, A constructor-based approach for positive\/negative conditional equational specifications, CTRS 92, LNCS 656 (Berlin, 1993) pp. 198\u2013212.","journal-title":"LNCS"}],"container-title":["Lecture Notes in Computer Science","STACS 94"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-57785-8_147.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2021,4,28]],"date-time":"2021-04-28T01:08:01Z","timestamp":1619572081000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-57785-8_147"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1994]]},"ISBN":["9783540577850","9783540483328"],"references-count":19,"URL":"https:\/\/doi.org\/10.1007\/3-540-57785-8_147","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1994]]}}}