A characterisation of computable data types by means of a finite equational specification method

1980-07-14

Presented at the European Conference on Numerical Mathematics and Advanced Applications (July 1980), Noordwijkerhout, The Netherlands

Additional Metadata
Persistent URL	doi.org/10.1007/3-540-10003-2_61
Conference	European Conference on Numerical Mathematics and Advanced Applications
Citation APA Style AAA Style APA Style Cell Style Chicago Style Harvard Style IEEE Style MLA Style Nature Style Vancouver Style American-Institute-of-Physics Style Council-of-Science-Editors Style BibTex Format Endnote Format RIS Format CSL Format DOIs only Format	Bergstra, J., & Tucker, J. (1980). A characterisation of computable data types by means of a finite equational specification method. In Lecture Notes in Computer Science/Lecture Notes in Artificial Intelligence (pp. 76–90). doi:10.1007/3-540-10003-2_61

Publication