Informace o projektu
Ekvacionální logika pologrup a aplikace
- Kód projektu
- GA201/01/0323
- Období řešení
- 1/2001 - 1/2003
- Investor / Programový rámec / typ projektu
-
Grantová agentura ČR
- Standardní projekty
- Fakulta / Pracoviště MU
-
Přírodovědecká fakulta
- doc. RNDr. Libor Polák, CSc.
Výzkum bude navazovat na výsledky získané navrhovateli v minulosti s přihlédnutím k současným trendům. Bude se týkat zejména - studia existenčních variet regulárních pologrup, variet unárních pologrup a variet a pseudovariet uspořádaných a polosvazově u spořádaných pologrup; - klasifikace regulárních jazyků pomocí pseudovariet uspořádaných a polosvazově uspořádaných pologrup; - unifikace, přepisování termů a studia stop ve varietách (unárních) pologrup. Přidělené prostředky budou využity především na pokrytí nákladů spojených s kontakty s mezinárodní matematickou veřejností zahrnující prezentace obdržených výsledků. Menší část bude sloužit na nákup nezbytné literatury.
Publikace
Počet publikací: 8
2008
-
On the locality of the pseudovariety DG
Journal of the Institute of Mathematics of Jussieu, rok: 2008, ročník: 7, vydání: 1,
2004
-
On pseudovarieties of semiring homomorphisms
Proceedings Mathematical Foundation of Computer Science, rok: 2004
-
Regular solutions of language inequalities and well quasi-orders
Automata, Languages and Programming: 31st International Colloquium, ICALP 2004, Turku, Finland, July 12-16, 2004. Proceedings, rok: 2004
-
Uncountably many existence varieties of orthodox locally idempotent semigroups
Mathematical Proceedings of the Cambridge Philosophical Society, rok: 2004, ročník: 136, vydání: 1
-
Undecidability of the trace coding problem and some decidable cases
Theoretical Computer Science, rok: 2004, ročník: 310, vydání: 1-3
2003
-
Equational description of pseudovarieties of homomorphisms
RAIRO - Theoretical Informatics and Applications, rok: 2003, ročník: 37, vydání: 3
-
Finite orthodox locally idempotent semigroups having no finite basis of biidentities
Journal of Algebra, rok: 2003, ročník: 266, vydání: 2
2001
-
Syntactic Semiring of a Language
Mathematical foundations of computer science 2001, rok: 2001