Linear logic semantics for Concurrent Prolog

Varování

Publikace nespadá pod Ústav výpočetní techniky, ale pod Fakultu informatiky. Oficiální stránka publikace je na webu muni.cz.

Autoři	ZLATUŠKA Jiří
Rok publikování	1994
Druh	Kapitola v knize
Fakulta / Pracoviště MU	Fakulta informatiky
Citace
Související projekty:	Nesekvenční modely výpočtů -- kvantové a souběžné distribuované modely výpočetních procesů