Axioms and Theorems for a Theory of Arrays

DOI10.1147/RD.172.0135MaRDI QIDQ4768618zbMATH OpenOpenAlexDBLPWikidataFDO

Authors Trenchard More

Publication date 1973

Published in IBM Journal of Research and Development (Search for Journal in Brave)

Full work available at URL https://doi.org/10.1147/rd.172.0135

Mathematics Subject Classification ID

General topics in the theory of software (68N01) Pattern recognition, speech recognition (68T10) Analysis of algorithms and problem complexity (68Q25)

Cited in

(5)

• Omnipresence, multipresence and ubiquity: kinds of generality in and around mathematics and logics
• Issues in the design of modeling languages for mathematical programming
• A syntax-free semantics for the APL operators
• A new-old characterisation of logical knowledge
• A survey of state vectors

This page was built for publication: Axioms and Theorems for a Theory of Arrays

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