In previous work carried out in the setting of program algebra, including work in the area of instruction sequence size complexity, we chose instruction sets for Boolean registers that contain only instructions of a few of the possible kinds. In the current paper, we study instruction sequence size bounded functional completeness of all possible instruction sets for Boolean registers. We expect that the results of this study will turn out to be useful to adequately assess results of work that is concerned with lower bounds of instruction sequence size complexity
This paper presents an algebraic theory of instruction sequences with instructions for Turing tapes ...
In program algebra, an algebraic theory of single-pass instruction sequences, three congruences on i...
We develop theory concerning non-uniform complexity in a setting in which the notion of single-pass ...
In program algebra, different instruction sets for Boolean registers are conceivable. In previous wo...
Each Boolean function can be computed by a single-pass instruction sequence that contains only instr...
A parameterized algebraic theory of instruction sequences, objects that represent the behaviours pro...
Every partial function from bit strings of a given length to bit strings of a possibly different giv...
Every partial function from bit strings of a given length to bit strings of a possibly different giv...
For each function on bit strings, its restriction to bit strings of any given length can be computed...
For each function on bit strings, its restriction to bit strings of any given length can be computed...
The Karatsuba multiplication algorithm is an algorithm for computing the product of two natural numb...
For each function on bit strings, its restriction to bit strings of any given length can be computed...
Instruction sequence is a key concept in practice, but it has as yet not come prominently into the p...
This paper presents an algebraic theory of instruction sequences with instructions for a random acce...
We investigate the expressiveness of backward jumps in a framework of formalized sequential programm...
This paper presents an algebraic theory of instruction sequences with instructions for Turing tapes ...
In program algebra, an algebraic theory of single-pass instruction sequences, three congruences on i...
We develop theory concerning non-uniform complexity in a setting in which the notion of single-pass ...
In program algebra, different instruction sets for Boolean registers are conceivable. In previous wo...
Each Boolean function can be computed by a single-pass instruction sequence that contains only instr...
A parameterized algebraic theory of instruction sequences, objects that represent the behaviours pro...
Every partial function from bit strings of a given length to bit strings of a possibly different giv...
Every partial function from bit strings of a given length to bit strings of a possibly different giv...
For each function on bit strings, its restriction to bit strings of any given length can be computed...
For each function on bit strings, its restriction to bit strings of any given length can be computed...
The Karatsuba multiplication algorithm is an algorithm for computing the product of two natural numb...
For each function on bit strings, its restriction to bit strings of any given length can be computed...
Instruction sequence is a key concept in practice, but it has as yet not come prominently into the p...
This paper presents an algebraic theory of instruction sequences with instructions for a random acce...
We investigate the expressiveness of backward jumps in a framework of formalized sequential programm...
This paper presents an algebraic theory of instruction sequences with instructions for Turing tapes ...
In program algebra, an algebraic theory of single-pass instruction sequences, three congruences on i...
We develop theory concerning non-uniform complexity in a setting in which the notion of single-pass ...