{"status":"ok","message-type":"work","message-version":"1.0.0","message":{"indexed":{"date-parts":[[2022,4,1]],"date-time":"2022-04-01T05:40:52Z","timestamp":1648791652637},"reference-count":16,"publisher":"EDP Sciences","issue":"5","content-domain":{"domain":[],"crossmark-restriction":false},"short-container-title":["RAIRO-Theor. Inf. Appl."],"published-print":{"date-parts":[[1990]]},"DOI":"10.1051\/ita\/1990240504291","type":"journal-article","created":{"date-parts":[[2017,2,2]],"date-time":"2017-02-02T15:11:43Z","timestamp":1486048303000},"page":"429-440","source":"Crossref","is-referenced-by-count":1,"title":["On algebraic specifications of computable algebras with the discriminator technique"],"prefix":"10.1051","volume":"24","author":[{"given":"G.","family":"Gagliardi","sequence":"first","affiliation":[]},{"given":"S.","family":"Tulipani","sequence":"additional","affiliation":[]}],"member":"250","published-online":{"date-parts":[[2011,1,8]]},"reference":[{"key":"R1","doi-asserted-by":"crossref","unstructured":"1. BAKER K. A., Finite equational bases for finite, algebras in a congruence-distributive equational class, Adv. in Math., 1977, 24, p. p 207-243.4470740356.08006","DOI":"10.1016\/0001-8708(77)90056-1"},{"key":"R2","unstructured":"2. BERGSTRA J. A. and TUCKER J. V., Algebraic specification of computable and semicomputable data structures, Dept. of Computer Science Research Report IW 115, Amsterdam, 1979.0419.68029"},{"key":"R3","unstructured":"3. BERGSTRA J. A. and TUCKER J. V., On bounds for tbe specification of finite data types by means of equations and conditional equations, Centre for Math. and Computer Science Report IW 131, Amsterdam, 1980.0421.68020"},{"key":"R4","doi-asserted-by":"crossref","unstructured":"4. BERGSTRA J. A. and TUCKER J. V., The completeness of algebraic specification methods for computable data types, Information and Control, 1982, 54, pp. 186-200.7194420513.68017","DOI":"10.1016\/S0019-9958(82)80021-1"},{"key":"R5","doi-asserted-by":"crossref","unstructured":"5. BERGSTRA J. A. and TUCKER J. V., Initial and final algebra semantics for data type specifications; two characterization theorems, SIAM J. on Computing, 1983, 12, pp. 366-387.6971670515.68016","DOI":"10.1137\/0212024"},{"key":"R6","doi-asserted-by":"crossref","unstructured":"6. BERGSTRA J. A. and TUCKER J. V., Algebraic specifications of computable and semicomputable data types, Theoretical Computer Science, 1987, 50, pp. 137-181.9072800637.68013","DOI":"10.1016\/0304-3975(87)90123-X"},{"key":"R7","doi-asserted-by":"crossref","unstructured":"7. BLOOM S. and TINDEL R., Varieties of \"if-then-else\", SIAM J. on Computing, 1983, 12, pp. 677-707.7210070518.68010","DOI":"10.1137\/0212047"},{"key":"R8","doi-asserted-by":"crossref","unstructured":"8. BURRIS S. and SANKAPPANAVAR H. F., A course in Universal Algebra, Springer-Verlag, 1981.6482870478.08001","DOI":"10.1007\/978-1-4613-8130-3"},{"key":"R9","doi-asserted-by":"crossref","unstructured":"9. DAVIS M., MATIJASEVIC Y. and ROBINSON J., Hilbert's tenth Problem. Diophantine equations: positive aspect of a negative solution, Proceed. of Symposia in Pure Math., 1976, 28, pp. 323-378.4325340346.02026","DOI":"10.1090\/pspum\/028.2\/0432534"},{"key":"R10","doi-asserted-by":"crossref","unstructured":"10. EHRIG H. and MAHR B., Fundamentals of Algebraic Specification 1, Monograph EATCS, Springer-Verlag, 1985.7884950557.68013","DOI":"10.1007\/978-3-642-69962-7"},{"key":"R11","doi-asserted-by":"crossref","unstructured":"11. GUESSARIAN I. and MESEGUER J., On the axiomatization of \"if-then-else\", SIAM J. on Computing, 1987, 16, pp. 332-357.8825350628.68032","DOI":"10.1137\/0216025"},{"key":"R12","doi-asserted-by":"crossref","unstructured":"12. HEERING J., Partial evaluation and \u03c9-completeness of algebraic specifications, Theoretical Computer Science, 1986, 43, pp 149-167.8559690606.68017","DOI":"10.1016\/0304-3975(86)90173-8"},{"key":"R13","doi-asserted-by":"crossref","unstructured":"13. LYNDON R., Identities in finite algebras, Proc. Amer. Math. Soc, 1954, 5. pp..8-9.604820055.02705","DOI":"10.2307\/2032095"},{"key":"R14","doi-asserted-by":"crossref","unstructured":"14. MAL'CEV A. I., Constructive algebras I, Russian Mathematica\u00ef Surveys, 1961, 16, pp. 77-129.151377","DOI":"10.1070\/RM1961v016n03ABEH001120"},{"key":"R15","doi-asserted-by":"crossref","unstructured":"15. MCKENZIE R., On spectra and the negative solution of the decision problem for identites having a finite non-trivial model, J. Symb. Logic, 1975, 40, pp. 186-196.3763230316.02052","DOI":"10.2307\/2271899"},{"key":"R16","doi-asserted-by":"crossref","unstructured":"16. MEKLER A. H. and NELSON E. M., Equational Bases for \"if then-else\", SIAM J. on Computing, 1987, 16, pp. 465-485.8894030654.68029","DOI":"10.1137\/0216033"}],"container-title":["RAIRO - Theoretical Informatics and Applications"],"original-title":[],"link":[{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1990240504291\/pdf","content-type":"unspecified","content-version":"vor","intended-application":"similarity-checking"}],"deposited":{"date-parts":[[2019,9,18]],"date-time":"2019-09-18T05:59:47Z","timestamp":1568786387000},"score":1,"resource":{"primary":{"URL":"http:\/\/www.rairo-ita.org\/10.1051\/ita\/1990240504291"}},"subtitle":[],"short-title":[],"issued":{"date-parts":[[1990]]},"references-count":16,"journal-issue":{"issue":"5"},"alternative-id":["ita1990240504291"],"URL":"https:\/\/doi.org\/10.1051\/ita\/1990240504291","relation":{},"ISSN":["0988-3754","1290-385X"],"issn-type":[{"value":"0988-3754","type":"print"},{"value":"1290-385X","type":"electronic"}],"subject":[],"published":{"date-parts":[[1990]]}}}