Č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.
Další formáty:   BibTeX LaTeX RIS
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 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
Změnil Změnila: prof. RNDr. Ivana Černá, CSc., učo 1419. Změněno: 8. 6. 2009 16:15.
Anotace
The paper investigates pattern equations and their applicability
Návaznosti
GA201/97/0456, projekt VaVNázev: Meze algoritmické verifikovatelnosti nekonečně stavových systémů
Investor: Grantová agentura ČR, Standardní projekty
MSM 143100009, záměrNázev: Matematické struktury algebry a geometrie
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Výzkumné záměry
MSM 143300001, záměrNá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, Výzkumné záměry
VytisknoutZobrazeno: 24. 8. 2019 00:51