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. |
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 | 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 |
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 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ů |
VytisknoutZobrazeno: 25. 9. 2024 15:27