{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T23:02:07Z","timestamp":1725663727968},"publisher-location":"Berlin, Heidelberg","reference-count":22,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540552512"},{"type":"electronic","value":"9783540467991"}],"license":[{"start":{"date-parts":[[1992,1,1]],"date-time":"1992-01-01T00:00:00Z","timestamp":694224000000},"content-version":"tdm","delay-in-days":0,"URL":"http:\/\/www.springer.com\/tdm"}],"content-domain":{"domain":["link.springer.com"],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1992]]},"DOI":"10.1007\/3-540-55251-0_19","type":"book-chapter","created":{"date-parts":[[2012,2,26]],"date-time":"2012-02-26T09:55:59Z","timestamp":1330250159000},"page":"342-361","update-policy":"http:\/\/dx.doi.org\/10.1007\/springer_crossmark_policy","source":"Crossref","is-referenced-by-count":1,"title":["Beyond conditional equations"],"prefix":"10.1007","author":[{"given":"Uwe","family":"Wolter","sequence":"first","affiliation":[]},{"given":"Michael","family":"L\u00f6we","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,30]]},"reference":[{"key":"19_CR1","volume-title":"Foundations of Deductive Databases and Logic Programming","author":"K. Apt","year":"1987","unstructured":"K. Apt, H. Blair, and A. Walker. Towards a theory of declarative knowledge. In J. Minker, editor, Foundations of Deductive Databases and Logic Programming, Morgan Kaufmann, Los Altos, 1987."},{"key":"19_CR2","doi-asserted-by":"crossref","unstructured":"M. Broy, W. Dosch, H. Partsch, P. Pepper, and M. Wirsing. Existential quantifiers in abstract data types. In H. A. Maurer, editor, Sixth International Colloquium on Automata, Languages, and Programming, pages 73\u201387, Springer Lecture Notes on Computer Science 71, Berlin, 1979.","DOI":"10.1007\/3-540-09510-1_7"},{"key":"19_CR3","unstructured":"S. Bratella and G. File. A completeness result for SLDNF resolution. Technical Report Rapporto Interno Dip 9, Dipartimento di Mathematica, Universita di Padova, 1989."},{"key":"19_CR4","first-page":"201","volume-title":"GI Tagung Softwareentwicklung","author":"H. Ehrig","year":"1989","unstructured":"H. Ehrig, I. Cla\u00dfen, P. Boehm, W. Fey, M. Korff, and M. L\u00f6we. Algebraic concepts for software development in ACT ONE, ACT TWO, and LOTOS. In GI Tagung Softwareentwicklung, pages 201\u2013224, Springer Informatik Fachberichte 212, Berlin, 1989."},{"key":"19_CR5","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-69962-7","volume-title":"Fundamentals of Algebraic Specifications 1. Monographs in Computer Science","author":"H. Ehrig","year":"1985","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specifications 1. Monographs in Computer Science, Springer, Berlin, 1985."},{"key":"19_CR6","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-642-61284-8","volume-title":"Fundamentals of Algebraic Specifications 2. Monographs in Computer Science","author":"H. Ehrig","year":"1990","unstructured":"H. Ehrig and B. Mahr. Fundamentals of Algebraic Specifications 2. Monographs in Computer Science, Springer, Berlin, 1990."},{"key":"19_CR7","unstructured":"J. A. Goguen. What is unification? A categorical view of substitution, equation, and solution. Technical Report CSLI-88-124, Center for the Study of Languages and Information, 1988."},{"key":"19_CR8","volume-title":"Research Report RC 6487","author":"J. A. Goguen","year":"1976","unstructured":"J. A. Goguen, J. W. Thatcher, and E. G. Wagner. An Initial Algebra Approach to the Specification, Correctness, and Implementation of Abstract Data Types. Research Report RC 6487, IBM T. J. Watson Research Center, Yorktown Heights, 1976. Also in: Current Trends in Programming IV: Data Structuring (ed. R.Yeh), Prentice Hall, 80\u2013149 (1978)."},{"key":"19_CR9","unstructured":"J. V. Guttag. The specification and application to programming of abstract data types. PhD thesis, University of Toronto, 1975."},{"key":"19_CR10","doi-asserted-by":"crossref","DOI":"10.1007\/978-3-322-84223-7","volume-title":"Grundlagen des machinellen Beweisens","author":"D. Hofbauer","year":"1989","unstructured":"D. Hofbauer and R. Kutsche. Grundlagen des machinellen Beweisens. Vieweg, Braunschweig\/Wiesbaden, 1989."},{"key":"19_CR11","volume-title":"Category Theory","author":"H. Herrlich","year":"1973","unstructured":"H. Herrlich and G. Strecker. Category Theory. Allyn and Bacon, Rockleigh, New Jersey, 1973."},{"key":"19_CR12","doi-asserted-by":"crossref","unstructured":"S. Kaplan. Positive\/negative conditional rewriting. In S. Kaplan and J. P. Jouannaud, editors, Conditional Term Rewriting Systems, pages 129\u2013143, Springer Lecture Notes in Computer Science 308, Berlin, 1988.","DOI":"10.1007\/3-540-19242-5_11"},{"key":"19_CR13","volume-title":"Categories for the Working Mathematician","author":"S. MacLane","year":"1971","unstructured":"S. MacLane. Categories for the Working Mathematician. Springer, Berlin, 1971."},{"key":"19_CR14","volume-title":"Algebraic Systems","author":"A. I. Mal'cev","year":"1973","unstructured":"A. I. Mal'cev. Algebraic Systems. Springer, Berlin, 1973. translated from the original edition 1970."},{"key":"19_CR15","doi-asserted-by":"crossref","first-page":"49","DOI":"10.1016\/0304-3975(84)90125-7","volume":"31","author":"B. Mahr","year":"1984","unstructured":"B. Mahr and J.A. Makowski. Characterizing specification languages which admit initial semantics. Technical Report 232, Technion Haifa, 1982. Also in Theoretical Computer Science, 31:49\u201359, 1984.","journal-title":"Theoretical Computer Science"},{"key":"19_CR16","unstructured":"H. Reichet. Behavioural equivalence \u2014 a unifying concept for initial and final specification methods. In Third Hungarian Computer Science Conference, pages 27\u201339, 1981."},{"key":"19_CR17","doi-asserted-by":"crossref","DOI":"10.1515\/9783112573426","volume-title":"Initial Compulability, Algebraic Specifications, and Partial Algebras","author":"H. Reichel","year":"1987","unstructured":"H. Reichel. Initial Compulability, Algebraic Specifications, and Partial Algebras. Akademie-Verlag, Berlin, 1987."},{"key":"19_CR18","unstructured":"W. Wechler. Universal algebra for computer scientists. Technical Report, Technische Universit\u00e4t Dresden, Sektion Mathematik, 1988. To be published as a book by Springer."},{"key":"19_CR19","doi-asserted-by":"crossref","first-page":"123","DOI":"10.1016\/0304-3975(86)90051-4","volume":"43","author":"M. Wirsing","year":"1986","unstructured":"M. Wirsing. Structured algebraic apecification: a kernel language. Theoretical Computer Science, 43:123\u2013250, 1986.","journal-title":"Theoretical Computer Science"},{"key":"19_CR20","unstructured":"M. Wirsing. Algebraic Specification. Research Report MIP-8914, University of Passau, 1989. Updated version also in \u201cHandbook of Theor. Comp. Sci. Vol. B, Elsevier, Amsterdam, 1990."},{"issue":"2","key":"19_CR21","first-page":"85","volume":"27","author":"U. Wolter","year":"1991","unstructured":"U. Wolter. Deduction in partial equational Horn theories. Journal of Information Processing and Cybernetics (EIK), 27(2):85\u2013128, 1991.","journal-title":"Journal of Information Processing and Cybernetics (EIK)"},{"key":"19_CR22","first-page":"28","volume":"11","author":"S. N. Zilles","year":"1974","unstructured":"S. N. Zilles. Algebraic specification of data types. Technical Report, MIT, Project MAC Progress Report 11, pages 28\u201352, 1974.","journal-title":"Technical Report, MIT, Project MAC Progress Report"}],"container-title":["Lecture Notes in Computer Science","CAAP '92"],"original-title":[],"language":"en","link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-55251-0_19","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2023,6,20]],"date-time":"2023-06-20T18:15:54Z","timestamp":1687284954000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-55251-0_19"}},"subtitle":["Quasi-initial semantics for parametric algebraic specifications"],"short-title":[],"issued":{"date-parts":[[1992]]},"ISBN":["9783540552512","9783540467991"],"references-count":22,"URL":"https:\/\/doi.org\/10.1007\/3-540-55251-0_19","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1992]]},"assertion":[{"value":"30 May 2005","order":1,"name":"first_online","label":"First Online","group":{"name":"ChapterHistory","label":"Chapter History"}}]}}