The foundations of the logic ofN-tuples

DOI10.1080/00207168108803244MaRDI QIDQ3906406zbMATH OpenOpenAlexWikidataFDO

Authors Richard Butrick, Daniel Hoskins, K. Scott

Publication date 1981

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

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

zbMATH Keywords

axiomatic systemconsistencylinear dyadic structureslist structurespattern matching

Mathematics Subject Classification ID

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

Cites work

• Fast Pattern Matching in Strings
• scientific article; zbMATH DE number 3304881 (Why is no real title available?)
• Shoenfield on n-tuples

Cited in

(1)

• A complete system generation algorithm for list structures

This page was built for publication: The foundations of the logic ofN-tuples

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