Bergstra, J. A.; Tucker, J. V. The completeness of the algebraic specification methods for computable data types. (English) Zbl 0513.68017 Inf. Control 54, 186-200 (1982). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 13 Documents MSC: 68P05 Data structures 03D60 Computability and recursion theory on ordinals, admissible sets, etc. Keywords:equational specification; algebra semantics PDFBibTeX XMLCite \textit{J. A. Bergstra} and \textit{J. V. Tucker}, Inf. Control 54, 186--200 (1982; Zbl 0513.68017) Full Text: DOI