ZLATUŠKA, Jiří. Linear logic semantics for Concurrent Prolog. In Extensions of Logic Programming. 1. vyd. Hamburg: Springer, 1994, s. 85-96. LNAI 798. ISBN 3-540-53590-X.
Další formáty:   BibTeX LaTeX RIS
Základní údaje
Originální název Linear logic semantics for Concurrent Prolog
Autoři ZLATUŠKA, Jiří.
Vydání 1. vyd. Hamburg, Extensions of Logic Programming, s. 85-96, LNAI 798, 1994.
Nakladatel Springer
Další údaje
Originální jazyk angličtina
Typ výsledku Kapitola resp. kapitoly v odborné knize
Obor 10000 1. Natural Sciences
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/94:00000045
Organizační jednotka Fakulta informatiky
ISBN 3-540-53590-X
Změnil Změnil: prof. RNDr. Jiří Zlatuška, CSc., učo 1777. Změněno: 14. 1. 2000 08:46.
Návaznosti
MSM 143300001, záměrNázev: Nesekvenční modely výpočtů - kvantové a souběžné distribuované modely výpočetních procesů
Investor: Ministerstvo školství, mládeže a tělovýchovy ČR, Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů
VytisknoutZobrazeno: 30. 5. 2024 01:22