A process algebra for Synchronous Concurrent Constraint Programming
Identifikátory výsledku
Kód výsledku v IS VaVaI
<a href="https://www.isvavai.cz/riv?ss=detail&h=RIV%2F00216224%3A14330%2F96%3A00000065" target="_blank" >RIV/00216224:14330/96:00000065 - isvavai.cz</a>
Výsledek na webu
—
DOI - Digital Object Identifier
—
Alternativní jazyky
Jazyk výsledku
angličtina
Název v původním jazyce
A process algebra for Synchronous Concurrent Constraint Programming
Popis výsledku v původním jazyce
N/A
Název v anglickém jazyce
A process algebra for Synchronous Concurrent Constraint Programming
Popis výsledku anglicky
N/A
Klasifikace
Druh
C - Kapitola v odborné knize
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
P - Projekt vyzkumu a vyvoje financovany z verejnych zdroju (s odkazem do CEP)<br>Z - Vyzkumny zamer (s odkazem do CEZ)
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ů
Údaje specifické pro druh výsledku
Název knihy nebo sborníku
ALP96: Fifth Int. Conference on Algebraic and Logic Programm
ISBN
3-540-61735-3
Počet stran výsledku
14
Strana od-do
—
Počet stran knihy
—
Název nakladatele
Springer-Verlag
Místo vydání
Aachen, Germany
Kód UT WoS kapitoly
—