Tim Boykett
Johannes Kepler University of Linz
Network
Latest external collaboration on country level. Dive into details by clicking on the dots.
Publication
Featured researches published by Tim Boykett.
reversible computation | 2016
Tim Boykett; Jarkko Kari; Ville Salo
It is well-known that the Toffoli gate and the negation gate together yield a universal gate set, in the sense that every permutation of
Discrete Mathematics | 2013
Tim Boykett
\{0,1\}^n
Communications in Algebra | 2016
Tim Boykett; Gerhard Wendt
can be implemented as a composition of these gates. Since every bit operation that does not use all of the bits performs an even permutation, we need to use at least one auxiliary bit to perform every permutation, and it is known that one bit is indeed enough. Without auxiliary bits, all even permutations can be implemented. We generalize these results to non-binary logic: If
Communications in Algebra | 2016
Tim Boykett; K.-T. Howell
A
Archive | 2005
Tim Boykett; Peter Mayr
is a finite set of odd cardinality then a finite gate set can generate all permutations of
Theoretical Computer Science | 2017
Tim Boykett; Jarkko Kari; Ville Salo
A^n
International Journal of Foundations of Computer Science | 2014
Tim Boykett; Gerhard Wendt
for all
Archive | 1997
Tim Boykett
n
Theoretical Computer Science | 2004
Tim Boykett
, without any auxiliary symbols. If the cardinality of
Journal of Cellular Automata | 2008
Tim Boykett; Jarkko Kari; Siamak Taati
A