Home > Search Results: Lechner, Jiří
Search:
Search Tips :: Advanced Search
Search collections:
Sort by: Display results: Output format:
National Repository of Grey Literature 4 records found  Search took 0.00 seconds. 
Some questions of definability
 Lechner, Jiří ; Stanovský, David (advisor) ; Kepka, Tomáš (referee)
We focus on first-order definability in the quasiordered class of finite digraphs ordered by embeddability. At first we will prove definability of each digraph up to size three. We will need to add to the quasiorder structure some digraphs as constants, so we try to find the needed set of constants as small as possible with small digraph as well. Gradually we make instruments that we can use to express the inner structure of each digraphs in the language of embeddability. At the end we investigate definability in the closely related lattice of universal classes of digraphs. We show that the set of finitely generated and also the set of finitely axiomatizable universal classes are definable subsets of the lattice.
Detailed record
Decoding convolutional codes by Viterbi algorithm
 Lechner, Jiří ; Tůma, Jiří (advisor) ; Drápal, Aleš (referee)
Detailed record
Some questions of definability
 Lechner, Jiří ; Stanovský, David (advisor) ; Kepka, Tomáš (referee)
We focus on first-order definability in the quasiordered class of finite digraphs ordered by embeddability. At first we will prove definability of each digraph up to size three. We will need to add to the quasiorder structure some digraphs as constants, so we try to find the needed set of constants as small as possible with small digraph as well. Gradually we make instruments that we can use to express the inner structure of each digraphs in the language of embeddability. At the end we investigate definability in the closely related lattice of universal classes of digraphs. We show that the set of finitely generated and also the set of finitely axiomatizable universal classes are definable subsets of the lattice.
Detailed record
Decoding convolutional codes by Viterbi algorithm
 Lechner, Jiří ; Drápal, Aleš (referee) ; Tůma, Jiří (advisor)
Detailed record

See also: similar author names
3 LECHNER, Jan
4 Lechner, Jindřich
Interested in being notified about new results for this query?
Subscribe to the RSS feed.
Digital Repository :: Search :: Submit :: Personalize :: Help
Powered by Invenio v1.1.2
Maintained by admin.invenio@techlib.cz
This site is also available in the following languages:
Česky  English