References: A complete system generation algorithm for list structures

Views

CrossRef citations to date

Altmetric

References

Butrick , R. , Hoskins , D. and Scott , K. 1981 . The foundations of the logic of N-tuples . Int. J. Comp. Math , 9 : 207 – 220 .
Web of Science ®Google Scholar
Moore J. S. Computational logic: Structure sharing and proof of program properties Part II, DC. Memo no. 68, School of Artificial Intelligence Edinburgh University
Google Scholar

Reprints and Corporate Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

To request a reprint or corporate permissions for this article, please click on the relevant link below:

Order Reprints Request Corporate Permissions

Academic Permissions

Please note: Selecting permissions does not provide access to the full text of the article, please see our help page How do I view content?

Obtain permissions instantly via Rightslink by clicking on the button below:

Request Academic Permissions

If you are unable to obtain permissions via Rightslink, please complete and submit this Permissions form. For more information, please visit our Permissions help page.

A complete system generation algorithm for list structures

References

Information for

Open access

Opportunities

Help and information

Your download is now in progress and you may close this window

Login or register to access this feature

A complete system generation algorithm for list structures

References

Reprints and Corporate Permissions

Academic Permissions

Related research

To cite this article:

Download citation

Information for

Open access

Opportunities

Help and information

Keep up to date