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 ORCID; Jiří SRBA a Ondřej KLÍMA

Vydání

Heidelberg, SOFSEM'99: Theory and Practise of Informatics, s. 369-378, 1999

Nakladatel

Springer

---

Další údaje

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í

Označené pro přenos do RIV

Ano

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

V originále

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ů