On the Pattern Equations

• Autoři: ČERNÁ Ivana; 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-01.html
• Obor: Teorie informace
• Klíčová slova: semigroups; word equations; 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ů