A complete system generation algorithm for list structures

DOI10.1080/00207168608803510zbMATH Open0655.68032OpenAlexW2037909119MaRDI QIDQ3802601

Richard Butrick

Publication date: 1986

Published in: International Journal of Computer Mathematics (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1080/00207168608803510

zbMATH Keywords

completenessdecidabilityaxiomatic systemsLISPlist structures

Mathematics Subject Classification ID

Abstract data types; algebraic specification (68Q65) Data structures (68P05) Set theory (03E99)

Cites Work

• The foundations of the logic ofN-tuples

Related Items (1)

Title not available (Why is that?)

This page was built for publication: A complete system generation algorithm for list structures

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