Functions definable by numerical set-expressions

DOI10.1093/LOGCOM/EXR050zbMATH Open1284.68304OpenAlexW2113648859MaRDI QIDQ2844003FDOQ2844003

Authors: Ian Pratt-Hartmann, Ivo Düntsch 

Publication date: 27 August 2013

Published in: Journal of Logic and Computation (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1093/logcom/exr050

Recommendations

• Integer-valued definable functions
• Functions definable by arithmetic circuits
• scientific article; zbMATH DE number 3438840
• Arithmetical functions associated with arbitrary sets of integers
• Functions defined on a set of Z-numbers
• Set-valued functions
• Definability in function spaces
• scientific article; zbMATH DE number 1289488
• Logical definability of counting functions

zbMATH Keywords

definabilityarithmetic circuitexpressive powerinteger expression

Mathematics Subject Classification ID

Analysis of algorithms and problem complexity (68Q25)

Cited In (1)

• Functions definable by arithmetic circuits

This page was built for publication: Functions definable by numerical set-expressions

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