×

The completeness of the algebraic specification methods for computable data types. (English) Zbl 0513.68017


MSC:

68P05 Data structures
03D60 Computability and recursion theory on ordinals, admissible sets, etc.
PDFBibTeX XMLCite
Full Text: DOI