{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2024,9,6]],"date-time":"2024-09-06T22:58:24Z","timestamp":1725663504244},"publisher-location":"Berlin, Heidelberg","reference-count":29,"publisher":"Springer Berlin Heidelberg","isbn-type":[{"type":"print","value":"9783540543176"},{"type":"electronic","value":"9783540475583"}],"content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":[],"published-print":{"date-parts":[[1991]]},"DOI":"10.1007\/3-540-54317-1_97","type":"book-chapter","created":{"date-parts":[[2012,2,25]],"date-time":"2012-02-25T17:39:39Z","timestamp":1330191579000},"page":"272-286","source":"Crossref","is-referenced-by-count":1,"title":["On sufficient completeness of conditional specifications"],"prefix":"10.1007","author":[{"given":"Wadoud","family":"Bousdira","sequence":"first","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]},{"given":"Jean-Luc","family":"R\u00e9my","sequence":"additional","affiliation":[],"role":[{"role":"author","vocabulary":"crossref"}]}],"member":"297","published-online":{"date-parts":[[2005,6,2]]},"reference":[{"key":"21_CR1","unstructured":"A. Bouhoula. Implantation d'un algorithme de test de compl\u00e9tude suffisante d'une sp\u00e9cification conditionnelle et d'aide \u00e0 la construction de d\u00e9finitions structurelles compl\u00e8tes. Rapport de Stage de Fin d'Etudes, Centre de Recherche en Informatique de Nancy, 1990."},{"key":"21_CR2","unstructured":"W. Bousdira. Etude des propri\u00e9t\u00e9s des syst\u00e8mes de r\u00e9\u00e9criture conditionnelle. Mise en \u0153uvre de deux algorithmes de test de confluence sur les termes clos., 1990. Th\u00e8se de l'Institut National Polytechnique de Lorraine."},{"key":"21_CR3","series-title":"Lecture Notes in Computer Science","doi-asserted-by":"crossref","first-page":"193","DOI":"10.1007\/BFb0035845","volume-title":"5th Synposium on Theoretical Aspects of Computer Science","author":"W. Bousdira","year":"1988","unstructured":"W. Bousdira and J-L. R\u00e9my. Hierarchical Contextual Rewriting with Several Levels. In R. Cori and M. Wirsing, editors, Lecture Notes in Computer Science, volume 294, pages 193\u2013206, Bordeaux, France, 1988. 5th Synposium on Theoretical Aspects of Computer Science, Springer-Verlag."},{"key":"21_CR4","unstructured":"N. Dershowitz. Computing with Term Rewriting Systems. In Proceedings of An NSF Workshop On The Rewrite Rule Laboratory, 1984."},{"key":"21_CR5","series-title":"Lecture Notes in Computer Science","volume-title":"1st Conference on Rewriting Techniques and Applications","author":"N. Dershowitz","year":"1985","unstructured":"N. Dershowitz. Termination. In J-P. Jouannaud, editor, Lecture Notes in Computer Science, volume 202, Dijon, France, 1985. 1st Conference on Rewriting Techniques and Applications, Springer-Verlag. Also in Journal os jsc 3, special issue on Rewriting Techniques and Applications, 69\u2013115, 1987."},{"key":"21_CR6","unstructured":"N. Dershowitz and M. Okada. Conditional Equational Programming and the Theory of Conditional Term Rewriting. In Proceedings of the International Conference on Fifth Generation Computer Systems, pages 337\u2013346, Tokyo, Japan, November 1988. ICOT."},{"key":"21_CR7","doi-asserted-by":"crossref","first-page":"27","DOI":"10.1007\/BF00260922","volume":"10","author":"J. V. Guttag","year":"1978","unstructured":"J. V. Guttag and J. J. Horning. The Algebraic Specification of Abstract Data Types. Acta Informatica, 10:27\u201352, 1978.","journal-title":"Acta Informatica"},{"key":"21_CR8","doi-asserted-by":"crossref","first-page":"1048","DOI":"10.1145\/359657.359666","volume":"21","author":"J.V. Guttag","year":"1978","unstructured":"J.V. Guttag. Abstract Data Types and Software Validation. Communications of the Association for Computing Machinery, 21:1048\u20131064, 1978.","journal-title":"Communications of the Association for Computing Machinery"},{"issue":"2","key":"21_CR9","doi-asserted-by":"crossref","first-page":"239","DOI":"10.1016\/0022-0000(82)90006-X","volume":"25","author":"G. Huet","year":"1982","unstructured":"G. Huet and J-M. Hullot. Proofs by Induction in Equational Theories with Constructors. Journal of Computer and System Sciences, 25(2):239\u2013266, October 1982. Preliminary version in Proceedings 21st Symposium on Foundations of Computer Science, IEEE, 1980.","journal-title":"Journal of Computer and System Sciences"},{"key":"21_CR10","unstructured":"J-P. Jouannaud and E. Kounalis. Automatic Proofs by Induction in Theories without Constructors. Technical Report 295, Universit\u00e9 de Paris-Sud, Centre d'Orsay, September 1986."},{"key":"21_CR11","unstructured":"J-P. Jouannaud and B. Waldmann. Reductive Conditional Term Rewriting Systems. In M. Wirsing, editor, Elsevier Science Publishers, pages 223\u2013244, Ebberup, Denmark, 1986. 3rd IFIP Working Conference on Formal Description of Programming Concepts."},{"key":"21_CR12","doi-asserted-by":"crossref","unstructured":"S. Kaplan. Simplifying Conditional Term Rewriting Systems: Unification, Termination and Confluence. Journal of Symbolic Computation, 1987.","DOI":"10.1016\/S0747-7171(87)80010-X"},{"key":"21_CR13","unstructured":"S. Kaplan and J-L. R\u00e9my. Completion Algorithms for Conditional Rewriting Systems. In H. Ait-Kaci and M. Nivat, editors, Resolution of Equations in Algebraic Structures, volume 2, Austin, Texas, 1987. MCC-INRIA Colloquium, Academic Press, INC."},{"key":"21_CR14","doi-asserted-by":"crossref","first-page":"395","DOI":"10.1007\/BF00292110","volume":"24","author":"D. Kapur","year":"1987","unstructured":"D. Kapur, P. Narendran, and H. Zhang. On Sufficient Completeness and Related Properties of Term Rewriting Systems. Acta Informatica, 24:395\u2013415, 1987.","journal-title":"Acta Informatica"},{"key":"21_CR15","doi-asserted-by":"crossref","unstructured":"H. Kirchner. A General Inductive Algorithm and Application to Abstract Data Types. In R. Shostak, editor, Proceedings 7th International Conference on Automated Deduction, pages 282\u2013302. Springer-Verlag, Lecture Notes in Computer Science, 1984.","DOI":"10.1007\/978-0-387-34768-4_17"},{"key":"21_CR16","unstructured":"E. Kounalis. Completeness in Data Type Specifications. In B. Buchberger, editor, Proceedings EUROCAL Conference, volume 204 of Lecture Notes in Computer Science, Linz (Austria), 1985. Springer-Verlag."},{"key":"21_CR17","unstructured":"E. Kounalis. Validation des Sp\u00e9cifications Alg\u00e9briques par Compl\u00e9tion Inductive, 1985. Th\u00e8se de l'Universit\u00e9 de Nancy 1."},{"key":"21_CR18","doi-asserted-by":"crossref","unstructured":"E. Kounalis. Testing for inductive (co)-reducibility. In A. Arnold, editor, Proceedings 15th CAAP, volume 431 of Lecture Notes in Computer Science, pages 221\u2013238. Springer-Verlag, May 1990.","DOI":"10.1007\/3-540-52590-4_51"},{"key":"21_CR19","first-page":"216","volume":"41","author":"E. Kounalis","year":"1990","unstructured":"E. Kounalis and M. Rusinowitch. Mechanizing Inductive Reasoning. EATCS Bulletin, 41:216\u2013226, 1990.","journal-title":"EATCS Bulletin"},{"key":"21_CR20","unstructured":"A. Lazrek. Etude et R\u00e9alisation de M\u00e9thodes de Preuve par R\u00e9currence en Logique Equationnelle, d\u00e9cembre 1988. Th\u00e8se de l'Institut National Polytechnique de Lorraine."},{"key":"21_CR21","unstructured":"A. Lazrek, P. Lescanne, and J-J. Thiel. Tools for Proving Inductive Equalities, Relative Completeness and \u03c9-Completeness. Technical Report 88-R-131, Centre de Recherche en Informatique de Nancy, 1988. to be published in Information and Computation."},{"key":"21_CR22","doi-asserted-by":"crossref","unstructured":"T. Nipkow and G. Weikum. A Decidability Result about Sufficient Completeness of Axiomatically Specified Abstract Data Types. In 6th GI Conference, volume 145, pages 257\u2013268. Springer-Verlag, Lecture Notes in Computer Science, 1983.","DOI":"10.1007\/BFb0009650"},{"key":"21_CR23","doi-asserted-by":"crossref","unstructured":"P. Padawitz. New Results on Completeness and Consistency of Abstract Data Types. In Lecture Notes in Computer Science, volume 88, pages 460\u2013473. Proceedings 9th Symposium on Mathematical Foundations of Computer Science, Springer-Verlag, 1980.","DOI":"10.1007\/BFb0022525"},{"key":"21_CR24","series-title":"Technical Report Bericht","volume-title":"Correctness, Completeness and Consistency of Equational Data Type Specifications","author":"P. Padawitz","year":"1983","unstructured":"P. Padawitz. Correctness, Completeness and Consistency of Equational Data Type Specifications. Technical Report Bericht Nr 83-15, Technische Universitat, Berlin, West Germany, 1983."},{"key":"21_CR25","volume-title":"Etude des Syst\u00e8mes de R\u00e9\u00e9criture Conditionnelle et Applications aux Types Abstraits Alg\u00e9briques","author":"J-L. R\u00e9my","year":"1982","unstructured":"J-L. R\u00e9my. Etude des Syst\u00e8mes de R\u00e9\u00e9criture Conditionnelle et Applications aux Types Abstraits Alg\u00e9briques, 1982. Th\u00e8se d'Etat, Institut National Polytechnique de Lorraine, Nancy."},{"key":"21_CR26","unstructured":"J-L. R\u00e9my and H. Zhang. REVEUR4: a System for Validating Conditional Algebraic Specifications of Abstract Data Types. In ECAI, pages 563\u2013572, Pisa, Italy, 1984. 6th ECAI Conference."},{"key":"21_CR27","doi-asserted-by":"crossref","unstructured":"J-J. Thiel. Stop loosing sleep over Incomplete Data Type Specifications. In Proceeding 11th ACM Symp. on Principles of Programming Languages, pages 76\u201382. Association for Computing Machinery, 1984.","DOI":"10.1145\/800017.800518"},{"key":"21_CR28","unstructured":"S. Uhrig and J-L. R\u00e9my. An Algorithm for Testing Suffisent Completeness of a Simple Class of Conditional Specifications. Technical Report 88-R-155, Centre de Recherche en Informatique de Nancy, 1988."},{"key":"21_CR29","unstructured":"H. Zhang. REVEUR4: Etude et mise en \u0153uvre de la R\u00e9\u00e9criture Conditionnelle, 1984. Th\u00e8se de 3\u00e8me cycle, Universit\u00e9 de Nancy 1."}],"container-title":["Lecture Notes in Computer Science","Conditional and Typed Rewriting Systems"],"original-title":[],"link":[{"URL":"http:\/\/link.springer.com\/content\/pdf\/10.1007\/3-540-54317-1_97.pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2020,11,17]],"date-time":"2020-11-17T15:53:39Z","timestamp":1605628419000},"score":1,"resource":{"primary":{"URL":"http:\/\/link.springer.com\/10.1007\/3-540-54317-1_97"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1991]]},"ISBN":["9783540543176","9783540475583"],"references-count":29,"URL":"https:\/\/doi.org\/10.1007\/3-540-54317-1_97","relation":{},"ISSN":["0302-9743","1611-3349"],"issn-type":[{"type":"print","value":"0302-9743"},{"type":"electronic","value":"1611-3349"}],"subject":[],"published":{"date-parts":[[1991]]}}}