Reichel, H. Initially-restricting algebraic theories. (English) Zbl 0469.68026 Mathematical foundations of computer science, Proc. 9th Symp., Rydzyna/Pol. 1980, Lect. Notes Comput. Sci. 88, 504-514 (1980). Page: −5 −4 −3 −2 −1 ±0 +1 +2 +3 +4 +5 Show Scanned Page Cited in 1 ReviewCited in 12 Documents MSC: 68P05 Data structures Keywords:algebraic specification; abstract data types Citations:Zbl 0435.00014 PDFBibTeX XML