Regularity is Decidable for Normed PA Processes in Polynomial Time
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%3AJ07%2F96%3A14330%2018" target="_blank" >RIV:J07/96:14330 18 - isvavai.cz</a>
Nalezeny alternativní kódy
RIV/00216224:14330/96:00000074
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
—
Název v původním jazyce
Regularity is Decidable for Normed PA Processes in Polynomial Time
Popis výsledku v původním jazyce
—
Název v anglickém jazyce
Regularity is Decidable for Normed PA Processes in Polynomial Time
Popis výsledku anglicky
—
Klasifikace
Druh
X - Nezařazeno
CEP obor
JC - Počítačový hardware a software
OECD FORD obor
—
Návaznosti výsledku
Projekt
<a href="/cs/project/GA201%2F93%2F2123" target="_blank" >GA201/93/2123: Analýza konkurentních nekonečně stavových systémů</a><br>
Návaznosti
—
Ostatní
Rok uplatnění
1996
Kód důvěrnosti údajů
S - Úplné a pravdivé údaje o projektu nepodléhají ochraně podle zvláštních právních předpisů