A Formal Construction of Term Classes

DOI10.1145/321864.321867zbMATH Open0332.68038OpenAlexW1976501912MaRDI QIDQ4098654FDOQ4098654

Authors: Clement Yu 

Publication date: 1975

Published in: Journal of the ACM (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1145/321864.321867

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Information storage and retrieval of data (68P20) Analysis of algorithms and problem complexity (68Q25)

This page was built for publication: A Formal Construction of Term Classes

Report a bug (only for logged in users!)Click here to report a bug for this page (MaRDI item Q4098654)