Pattern Equations and Equations with Stuttering

Varování

Publikace nespadá pod Ekonomicko-správní fakultu, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	ČERNÁ Ivana SRBA Jiří KLÍMA Ondřej
Rok publikování	1999
Druh	Článek ve sborníku
Konference	SOFSEM'99: Theory and Practise of Informatics
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Obor	Teorie informace
Klíčová slova	pattern equations - stuttering
Popis	The paper investigates pattern equations and their applicability
Související projekty:	Meze algoritmické verifikovatelnosti nekonečně stavových systémů Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů Matematické struktury algebry a geometrie