Pattern Equations and Equations with Stuttering

• Autoři: ČERNÁ Ivana; SRBA Jiří; KLÍMA Ondřej
• Rok publikování: 1999
• Druh: Článek ve sborníku
• Konference: SOFSEM'99: Theory and Practise of Informatics
• Fakulta / Pracoviště MU: Fakulta informatiky
• Obor: Teorie informace
• Klíčová slova: pattern equations - stuttering
• Popis: The paper investigates pattern equations and their applicability

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ů
• Matematické struktury algebry a geometrie