Author:
Thompson B.C.,Tucker J.V.,Zucker J.I.
Subject
Applied Mathematics,Computational Mathematics
Reference77 articles.
1. Neurocomputing: Foundations of Research,1988
2. J. Bergstra, J.V. Tucker, A characterisation of computable data types by means of a finite equational specification method, in: J. de Bakker, J. van Leeuwen (Eds.), Seventh International Colloquium on Automata, Languages and Programming, Noordwijkerhout, Lecture Notes in Computer Science, vol. 85, Springer-Verlag, The Netherlands, July 1980, pp. 76–90.
3. The completeness of the algebraic specification methods for data types;Bergstra;Information and Control,1982
4. Algebraic specifications of computable and semicomputable data types;Bergstra;Theoretical Computer Science,1987
5. J. Bergstra, J.V. Tucker, Equational specifications, complete term rewriting systems and computable and semicomputable algebras, Technical Report CS-20-92, Department of Computer Science, Swansea University, Swansea, Wales, 1992.
Cited by
2 articles.
订阅此论文施引文献
订阅此论文施引文献，注册后可以免费订阅5篇论文的施引文献，订阅后可以查看论文全部施引文献