Complexity Issues of the Pattern Equations in Idempotent Semigroups

• Autoři: KLÍMA Ondřej; SRBA Jiří
• Rok publikování: 1999
• Druh: Článek v odborném periodiku
• Časopis / Zdroj: Technical Report, Faculty of Informatics, Masaryk University
• Fakulta / Pracoviště MU: Fakulta informatiky
• www: http://www.fi.muni.cz/informatics/reports/abstract/FIMU-RS-99-02.html
• Obor: Teorie informace
• Klíčová slova: word equations; idempotent semigroup; complexity

Související projekty

• Meze algoritmické verifikovatelnosti nekonečně stavových systémů
• Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů