Computer Science – Logic in Computer Science
Scientific paper
2009-10-31
Computer Science
Logic in Computer Science
Scientific paper
A "numerical set-expression" is a term specifying a cascade of arithmetic and logical operations to be performed on sets of non-negative integers. If these operations are confined to the usual Boolean operations together with the result of lifting addition to the level of sets, we speak of "additive circuits". If they are confined to the usual Boolean operations together with the result of lifting addition and multiplication to the level of sets, we speak of "arithmetic circuits". In this paper, we investigate the definability of sets and functions by means of additive and arithmetic circuits, occasionally augmented with additional operations.
Düntsch Ivo
Pratt-Hartmann Ian
No associations
LandOfFree
Functions Definable by Numerical Set-Expressions does not yet have a rating. At this time, there are no reviews or comments for this scientific paper.
If you have personal experience with Functions Definable by Numerical Set-Expressions, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Functions Definable by Numerical Set-Expressions will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-O-290116