On algebraic specifications of computable algebras with the discriminator technique

 Access to full text

 Full (PDF)

1. 1. K. A. BAKER, Finite equational bases for finite, algebras in a congruence-distributive equational class, Adv. in Math., 1977, 24, p. p 207-243. Zbl0356.08006MR447074
2. 2. J. A. BERGSTRA and J. V. TUCKER, Algebraic specification of computable and semicomputable data structures, Dept. of Computer Science Research Report IW 115, Amsterdam, 1979. Zbl0419.68029
3. 3. J. A. BERGSTRA and J. V. TUCKER, 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. Zbl0421.68020
4. 4. J. A. BERGSTRA and J. V. TUCKER, The completeness of algebraic specification methods for computable data types, Information and Control, 1982, 54, pp. 186-200. Zbl0513.68017MR719442
5. 5. J. A. BERGSTRA and J. V. TUCKER, Initial and final algebra semantics for data type specifications; two characterization theorems, SIAM J. on Computing, 1983, 12, pp. 366-387. Zbl0515.68016MR697167
6. 6. J. A. BERGSTRA and J. V. TUCKER, Algebraic specifications of computable and semicomputable data types, Theoretical Computer Science, 1987, 50, pp. 137-181. Zbl0637.68013MR907280
7. 7. S. BLOOM and R. TINDEL, Varieties of "if-then-else", SIAM J. on Computing, 1983, 12, pp. 677-707. Zbl0518.68010MR721007
8. 8. S. BURRIS and H. F. SANKAPPANAVAR, A course in Universal Algebra, Springer-Verlag, 1981. Zbl0478.08001MR648287
9. 9. M. DAVIS, Y. MATIJASEVIC and J. ROBINSON, Hilbert's tenth Problem. Diophantine equations: positive aspect of a negative solution, Proceed. of Symposia in Pure Math., 1976, 28, pp. 323-378. Zbl0346.02026MR432534
10. 10. H. EHRIG and B. MAHR, Fundamentals of Algebraic Specification 1, Monograph EATCS, Springer-Verlag, 1985. Zbl0557.68013MR788495
11. 11. I. GUESSARIAN and J. MESEGUER, On the axiomatization of "if-then-else", SIAM J. on Computing, 1987, 16, pp. 332-357. Zbl0628.68032MR882535
12. 12. J. HEERING, Partial evaluation and ω-completeness of algebraic specifications, Theoretical Computer Science, 1986, 43, pp 149-167. Zbl0606.68017MR855969
13. 13. R. LYNDON, Identities in finite algebras, Proc. Amer. Math. Soc, 1954, 5. pp..8-9. Zbl0055.02705MR60482
14. 14. A. I. MAL'CEV, Constructive algebras I, Russian Mathematicaï Surveys, 1961, 16, pp. 77-129. MR151377
15. 15. R. MCKENZIE, 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. Zbl0316.02052MR376323
16. 16. A. H. MEKLER and E. M. NELSON, Equational Bases for "if then-else", SIAM J. on Computing, 1987, 16, pp. 465-485. Zbl0654.68029MR889403