94 citations · 94 across the 8 of their papers we have counts for
Showing 2009Show all
2 papers · 1 filter
cs.LO2009
Complex Algebras of Arithmetic
Ivo Düntsch, Ian Pratt-Hartmann
An 'arithmetic circuit' is a labeled, acyclic directed graph specifying a sequence of arithmetic and logical operations to be performed on sets of natural numbers. Arithmetic circu…
cs.LO2009
Functions Definable by Numerical Set-Expressions
Ian Pratt-Hartmann, Ivo Düntsch
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…