A semantic construction of two-ary integers

DOI10.7151/DMGAA.1099MaRDI QIDQ5476512zbMATH OpenOpenAlexFDO

Authors Gabriele Ricci

Publication date 14 July 2006

Published in Discussiones Mathematicae - General Algebra and Applications (Search for Journal in Brave)

Full work available at URL https://doi.org/10.7151/dmgaa.1099

zbMATH Keywords

semanticsfree algebrajumpLISPuniversal matrixanalytic monoid

Mathematics Subject Classification ID

Data structures (68P05) Free algebras (08B20) Semantics in the theory of computing (68Q55) Applications of universal algebra in computer science (08A70)

Recommendations

• scientific article; zbMATH DE number 65750
• On a semilattice of numberings
• On two types of concept lattices in the theory of numberings
• On two interval-arithmetic structures and their properties
• Arithmetical semirings
• A semilattice of numberings. II
• A numerical representation of semiorders on a countable set
• On numerical representations of semiorders
• On two questions about feasibly constructive arithmetic

Cited in

(2)

• Binary trees as a computational framework
• Binary representation of natural numbers

This page was built for publication: A semantic construction of two-ary integers

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