{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:38Z","timestamp":1725663518723},"publisher-location":"Berlin, Heidelberg","reference-count":21,"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_13","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T20:04:29Z","timestamp":1330200269000},"page":"161-178","source":"Crossref","is-referenced-by-count":5,"title":["Conditional specifications with inequational assumptions"],"prefix":"10.1007","author":[{"given":"Chilukuri K.","family":"Mohan","sequence":"first","affiliation":[]},{"given":"Mandayam K.","family":"Srivas","sequence":"additional","affiliation":[]}],"member":"297","published-online":{"date-parts":[[2005,5,27]]},"reference":[{"key":"13_CR1","series-title":"Research Report","volume-title":"Conditional Rewrite Rules: Confluency and Termination","author":"J. A. Bergstra","year":"1982","unstructured":"Bergstra J.A., Klop J.W., \u2018Conditional Rewrite Rules: Confluency and Termination', Research Report IW 198\/82, Mathematical Centre, Amsterdam, 1982."},{"key":"13_CR2","unstructured":"Brand D., Darringer J.A., Joyner W.H., \u2018Completeness of Conditional Reductions', IBM Research Report RC7404, 1978."},{"key":"13_CR3","unstructured":"Chang C.L., Lee R.C, 'symbolic Logic and Mechanical Theorem Proving', Academic Press, 1973."},{"key":"13_CR4","first-page":"293","volume-title":"Logic and Databases","author":"K. L. Clark","year":"1978","unstructured":"K.L. Clark, \u2018Negation as Failure', in H. Gallaire and J. Minker (eds.), Logic and Databases, Plenum, New York, pp293\u2013322, 1978."},{"key":"13_CR5","doi-asserted-by":"crossref","unstructured":"Fitting M., \u2018A Kripke-Kleene Semantics for Logic Programs', The Journal of Logic Programming, pp295\u2013312, April 1985.","DOI":"10.1016\/S0743-1066(85)80005-4"},{"key":"13_CR6","doi-asserted-by":"crossref","unstructured":"Futatsugi K., Goguen J., Jouannaud J.P., Meseguer J., \u2018Principles of OBJ2', Proc. 12th Symp. on Princ. of Prog. Lang. (POPL), pp52\u201366, ACM, 1985.","DOI":"10.1145\/318593.318610"},{"key":"13_CR7","unstructured":"Goguen J.A., Thatcher J.W., Wagner E., \u2018An Initial Algebra Approach to the Specification, Correctness and Implementation of Abstract Data Types', in Current Trends in Programming Methodology, IV, ed. R.Yeh, Prentice-Hall, pp80\u2013149, 1978."},{"key":"13_CR8","doi-asserted-by":"publisher","first-page":"27","DOI":"10.1007\/BF00260922","volume":"10","author":"J. V. Guttag","year":"1978","unstructured":"Guttag J.V., Horning J.J., \u2018The Algebraic Specification of Abstract Data Types', Acta Informatica 10, pp27\u201352, 1978.","journal-title":"Acta Informatica"},{"key":"13_CR9","doi-asserted-by":"crossref","unstructured":"Huet G., Oppen D.S., \u2018Equations and Rewrite Rules: A Survey', Tech.Rep. CSL-111, SRI Int'l, California, 1980.","DOI":"10.1016\/B978-0-12-115350-2.50017-8"},{"issue":"1","key":"13_CR10","doi-asserted-by":"publisher","first-page":"83","DOI":"10.1145\/357153.357158","volume":"4","author":"C. M. Hoffman","year":"1982","unstructured":"Hoffman C.M., O'Donnell M.J., \u2018Programming with Equations', ACM TOPLAS, Vol.4, No. 1, pp83\u2013112, 1982.","journal-title":"ACM TOPLAS"},{"key":"13_CR11","doi-asserted-by":"crossref","unstructured":"J.Hsiang, M.Rusinowitch, On Word Problems in Equational Theories, Proc. 14th ICALP, Karlsruhe, July 1987.","DOI":"10.1007\/3-540-18088-5_6"},{"key":"13_CR12","volume-title":"Proofs by Induction in Equational Theories without Constructors","author":"J. P. Jouannaud","year":"1985","unstructured":"Jouannaud J.P., Kounalis E., Proofs by Induction in Equational Theories without Constructors, C.R.I.N., Nancy (France) 1985."},{"key":"13_CR13","series-title":"Rapport de Recherche","volume-title":"Conditional Rewrite Rules","author":"S. Kaplan","year":"1983","unstructured":"Kaplan S., \u2018Conditional Rewrite Rules', Rapport de Recherche no 150, Universite de Paris-Sud, Orsay, France, 1983."},{"key":"13_CR14","series-title":"Rapport de Recherche","volume-title":"Fair Conditional Term Rewriting Systems: Unification, Termination and Confluence","author":"S. Kaplan","year":"1984","unstructured":"Kaplan S., \u2018Fair Conditional Term Rewriting Systems: Unification, Termination and Confluence', Rapport de Recherche no 194, Universite de Paris-Sud, Orsay, France 1984."},{"key":"13_CR15","doi-asserted-by":"crossref","unstructured":"Kaplan S., \u2018A Compiler for Conditional Rewriting', Proc. II Conf. Rewriting Techniques and Applications, Bourdeaux, France 1987.","DOI":"10.1007\/3-540-17220-3_3"},{"key":"13_CR16","unstructured":"Mohan C.K., Srivas M.K., Kapur D., \u2018Inference Rules and Proof Procedures for Inequations', to appear in the Journal of Logic Programming."},{"key":"13_CR17","volume-title":"Operational Semantics of algebraic specifications with Conditional Equations","author":"U. Pletat","year":"1982","unstructured":"Pletat U., Engels G., Ehrich H.D., \u2018Operational Semantics of algebraic specifications with Conditional Equations', 7eme C.A.A.P., Lille, France 1982."},{"key":"13_CR18","volume-title":"Etude des systemes de reecriture conditionnels et application aux specifications algebriques de types abstraits","author":"J. L. Remy","year":"1982","unstructured":"Remy J.L., \u2018Etude des systemes de reecriture conditionnels et application aux specifications algebriques de types abstraits', Doctoral Thesis, INPL, Nancy, France (1982)."},{"key":"13_CR19","volume-title":"Proving Conditional Identities by Equational Case Reasoning, Rewriting and Normalization","author":"J. L. Remy","year":"1983","unstructured":"Remy J.L., \u2018Proving Conditional Identities by Equational Case Reasoning, Rewriting and Normalization', Proc. of 1982\u201383 Research Seminar, LITP, Paris, France 1983."},{"key":"13_CR20","unstructured":"Remy J.L., Zhang H., \u2018REVE4: A system for Validating Conditional Algebraic Specifications of Parameterized Abstract Data Types', Proc. of 6th ECAI Conf., Pisa, Italy 1984."},{"key":"13_CR21","doi-asserted-by":"crossref","unstructured":"Thiel J., 'stop losing sleep over Incomplete Specifications', Proc. 7th Princ. of Prog. Lang. (POPL), 1983.","DOI":"10.1145\/800017.800518"}],"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_13.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T20:16:48Z","timestamp":1605644208000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-19242-5_13"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1988]]},"ISBN":["9783540192428","9783540391661"],"references-count":21,"URL":"https:\/\/doi.org\/10.1007\/3-540-19242-5_13","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1988]]}}}