94 citations · 94 across the 8 of their papers we have counts for
Showing cs.LOShow all
3 papers · 1 filter
cs.LO2023
The fork and its role in unification of closure algebras
Ivo Düntsch, Wojciech Dzik
We consider the two-pronged fork frame and the variety generated by its dual closure algebra . We describe the finite projective algebras in $\mathbf{Eq…
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…