Pattern Equations and Equations with Stuttering

Varování

Publikace nespadá pod Ústav výpočetní techniky, 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