Pattern Equations and Equations with Stuttering

ČERNÁ, Ivana, Jiří SRBA a Ondřej KLÍMA. Pattern Equations and Equations with Stuttering. In SOFSEM'99: Theory and Practise of Informatics. Heidelberg: Springer, 1999, s. 369-378. ISBN 3-540-66694-X.

Základní údaje

• Originální název: Pattern Equations and Equations with Stuttering
• Autoři: ČERNÁ, Ivana (203 Česká republika, garant), Jiří SRBA (203 Česká republika) a Ondřej KLÍMA (203 Česká republika).
• Vydání: Heidelberg, SOFSEM'99: Theory and Practise of Informatics, s. 369-378, 1999.
• Nakladatel: Springer

Další údaje

• Originální jazyk: angličtina
• Typ výsledku: Stať ve sborníku
• Obor: 10000 1. Natural Sciences
• Stát vydavatele: Německo
• Utajení: není předmětem státního či obchodního tajemství
• Kód RIV: RIV/00216224:14330/99:00001272
• Organizační jednotka: Fakulta informatiky
• ISBN: 3-540-66694-X
• UT WoS: 000088669000024
• Klíčová slova česky: rovnosti vzoru
• Klíčová slova anglicky: pattern equations - stuttering
• Štítky: pattern equations - stuttering

Anotace

The paper investigates pattern equations and their applicability

Návaznosti

• GA201/97/0456, projekt VaV: Název: Meze algoritmické verifikovatelnosti nekonečně stavových systémů

Investor: Grantová agentura ČR, Meze algoritmické verifikovatelnosti nekonečně stavových systémů

• MSM 143100009, záměr: Název: Matematické struktury algebry a geometrie

Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Matematické struktury algebry a geometrie

• MSM 143300001, záměr: Název: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů

Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů