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. p. 369-378. ISBN 3-540-66694-X. 1999.

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

• Original language: English
• Type of outcome: Proceedings paper
• Field of Study: 10000 1. Natural Sciences
• Country of publisher: Germany
• Confidentiality degree: is not subject to a state or trade secret
• 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

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