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