Pattern Equations and Equations with Stuttering

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

Basic information

Original name

Pattern Equations and Equations with Stuttering

Authors

ČERNÁ, Ivana (203 Czech Republic, guarantor), Jiří SRBA (203 Czech Republic) and Ondřej KLÍMA (203 Czech Republic)

Edition

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

Publisher

Springer

---

Other information

Language

English

Type of outcome

Stať ve sborníku

Field of Study

10000 1. Natural Sciences

Country of publisher

Germany

Confidentiality degree

není předmětem státního či obchodního tajemství

RIV identification code

RIV/00216224:14330/99:00001272

Organization unit

Faculty of Informatics

ISBN

3-540-66694-X

UT WoS

000088669000024

Keywords (in Czech)

rovnosti vzoru

Keywords in English

pattern equations - stuttering

Tags

pattern equations - stuttering

---

Abstract

V originále

The paper investigates pattern equations and their applicability

---

Links

GA201/97/0456, research and development project	Name: Meze algoritmické verifikovatelnosti nekonečně stavových systémů Investor: Czech Science Foundation, Algorithmic Verification Boundaries for Infinite-State Systems
MSM 143100009, plan (intention)	Name: Matematické struktury algebry a geometrie Investor: Ministry of Education, Youth and Sports of the CR, Mathematical structures of algebra and geometry
MSM 143300001, plan (intention)	Name: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů Investor: Ministry of Education, Youth and Sports of the CR, Non-sequential Models of Computing -- Quantum and Concurrent Distributed Models of Computing