Algebraic Specifications of Computable and Semicomputable Data Types

Sorry, there's nothing here.

Statistics

0510'92'95'98'01'04'07'10'13'16
Citations per Year

83 Citations

Semantic Scholar estimates that this publication has 83 citations based on the available data.

See our FAQ for additional information.

Cite this paper

@article{Bergstra1987AlgebraicSO, title={Algebraic Specifications of Computable and Semicomputable Data Types}, author={Jan A. Bergstra and J. V. Tucker}, journal={Theor. Comput. Sci.}, year={1987}, volume={50}, pages={137-181} }