1993
Operational semantics of concurrent logical systems.
BRIM, Luboš, David GILBERT, Jean-Marie JACQUET a Mojmír KŘETÍNSKÝZákladní údaje
Originální název
Operational semantics of concurrent logical systems.
Autoři
BRIM, Luboš, David GILBERT, Jean-Marie JACQUET a Mojmír KŘETÍNSKÝ
Vydání
London,U.K. ALP-UK Workshop on Cocurrency in Computational Logic, s. 13-18, 1993
Nakladatel
City University London
Další údaje
Jazyk
angličtina
Typ výsledku
Kapitola resp. kapitoly v odborné knize
Obor
20206 Computer hardware and architecture
Stát vydavatele
Velká Británie a Severní Irsko
Utajení
není předmětem státního či obchodního tajemství
Kód RIV
RIV/00216224:14330/93:00000029
Organizační jednotka
Fakulta informatiky
Změněno: 13. 1. 2000 11:41, prof. RNDr. Luboš Brim, CSc.
Návaznosti
GA201/93/2123, projekt VaV |
| ||
MSM 143300001, záměr |
|