Linear logic semantics for Concurrent Prolog

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.

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

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

---

Návaznosti

MSM 143300001, záměr

Ná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ů