Concurrent logic programming in linear logic

ZLATUŠKA, Jiří. Concurrent logic programming in linear logic. In Workshop on Concurrency in Computational Logic. 1. vyd. London: ALP-UK, 1993, s. 19, 36-19+1.

Základní údaje

Originální název

Concurrent logic programming in linear logic

Autoři

ZLATUŠKA, Jiří

Vydání

1. vyd. London, Workshop on Concurrency in Computational Logic, od s. 19, 36-19+1, 1993

Nakladatel

ALP-UK

---

Další údaje

Jazyk

angličtina

Typ výsledku

Stať ve sborníku

Obor

10201 Computer sciences, information science, bioinformatics

Stát vydavatele

Velká Británie a Severní Irsko

Utajení

není předmětem státního či obchodního tajemství

Odkazy

URL

Kód RIV

RIV/00216224:14330/93:00003897

Organizační jednotka

Fakulta informatiky

---

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ů