V rámci grantu 201/01/0323
Ekvacionální logika pologrup a aplikace
Grantové agentury ČR vznikly tyto publikace
Kaďourek, J.; Finite orthodox locally idempotent semigroups having no finite
basis of biidentities, Journal of Algebra 266 (2003), 446--493
Kaďourek, J.; Uncountably many existence varieties of orthodox locally idempotent
semigroups, Mathematical Proceedings of the Cambridge Philosophical Society
136 (2004), 89--103
Kaďourek, J.; On the locality of the pseudovariety DG, předběžná verze
Klíma,
O.; Complexity of unification and matching problems in the varieties of idempotent
semigroups, Inter. Journal of Algebra and Computatio, to appear
Klíma, O.;
Complexity issues of checking identities in finite monoids, zasláno
do Semigroup Forum
Klíma, O.;
Ordered version of the power operator, v závěrečné fázi
příprav
Kunc, M.; Undecidability of the trace coding problem and some decidable cases,
Theoretical Computer Science 310 (2004), 393--456
Kunc, M.; Equational description of pseudovarieties of homomorphisms, RAIRO
- Theoretical Informatics and Applications 37 (2003), 243--254
Kunc, M.; Regular solutions of language inequalities and well quasi-orders,
Proc. ICALP 2004, Springer
Lecture Notes in Computer Science, to appear
Kuřil, M. and Polák, L.; On varieties of ordered semigroups, v přípravě
Polák,
L.; Syntactic semiring of a language, Proc. Mathematical Foundations of
Computer Science 2001, Springer Lecture Notes
in Computer Science, Vol. 2136, 2001, pages 611--620
(c) Springer-Verlag
Polák, L.; On varieties of completely simple semigroups, v zaverečné
fázi příprav
Polák,
L.; On pseudovarieties of semiring homomorphisms, Proc. Mathematical
Foundations of Computer Science 2004, Springer Lecture Notes
in Computer Science, to appear
Vařeková,
I.; SYNSEM, softwarový balík pro výpočty se syntaktickým
semiringem a univerzálním automatem