9 citations · 37 across the 32 of their papers we have counts for
Showing cs.DSShow all
2 papers · 1 filter
cs.DS2013★ 3 cited
Arithmetic Algorithms for Hereditarily Binary Natural Numbers
Paul Tarau
We study some essential arithmetic properties of a new tree-based number representation, {\em hereditarily binary numbers}, defined by applying recursively run-length encoding of b…
cs.DS2008
Declarative Combinatorics: Boolean Functions, Circuit Synthesis and BDDs in Haskell
Paul Tarau
We describe Haskell implementations of interesting combinatorial generation algorithms with focus on boolean functions and logic circuit representations. First, a complete exact co…