Page
%P
-
Chapter
Nonrecurrent Codes with Minimal Decoding Complexity
Let U be a finite system of distinct words in the alphabet A, 𝔄 a free semigroup over A, [U] a subsemigroup of 𝔄, generated by the set U, and λ the empty word. By ||X|| we shall denote the number of elements o...
-
Chapter
On a Semantical Language Hierarchy in a Constructive Mathematical Logic
The subject of this paper is a constructive mathematical logic, i.e. a logic suitable for constructive mathematics. Constructive mathematics differs radically from classical mathematics in the understanding of...
-
Chapter and Conference Paper
Computational problems in alphabetic coding theory