A view of computability on term algebras
- 30 June 1983
- journal article
- Published by Elsevier in Journal of Computer and System Sciences
- Vol. 26 (3) , 410-471
- https://doi.org/10.1016/0022-0000(83)90008-9
Abstract
No abstract availableKeywords
This publication has 17 references indexed in Scilit:
- Straight-line program length as a parameter for complexity analysisJournal of Computer and System Sciences, 1980
- The Diophantine problem for addition and divisibilityTransactions of the American Mathematical Society, 1978
- The algebraic specification of abstract data typesActa Informatica, 1978
- On Time Versus SpaceJournal of the ACM, 1977
- Initial Algebra Semantics and Continuous AlgebrasJournal of the ACM, 1977
- Recursive data structuresInternational Journal of Parallel Programming, 1975
- Specification techniques for data abstractionsIEEE Transactions on Software Engineering, 1975
- Proof of correctness of data representationsActa Informatica, 1972
- On formalised computer programsJournal of Computer and System Sciences, 1970
- An Unsolvable Problem of Elementary Number TheoryAmerican Journal of Mathematics, 1936