Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{232691,
author = {Zlatuška, Jiří},
address = {London},
booktitle = {Workshop on Concurrency in Computational Logic},
edition = {1.},
language = {eng},
location = {London},
pages = {19},
publisher = {ALP-UK},
title = {Concurrent logic programming in linear logic},
url = {http://www.fi.muni.cz/~zlatuska/papers/concurrent_logic_programming_in_linear_logic.ps.Z},
year = {1993}
}
TY - JOUR
ID - 232691
AU - Zlatuška, Jiří
PY - 1993
TI - Concurrent logic programming in linear logic
PB - ALP-UK
CY - London
UR - http://www.fi.muni.cz/~zlatuska/papers/concurrent_logic_programming_in_linear_logic.ps.Z
ER -
ZLATUŠKA, Jiří. Concurrent logic programming in linear logic. In \textit{Workshop on Concurrency in Computational Logic}. 1. vyd. London: ALP-UK, 1993, s.~19, 36-19+1.
|
