Další formáty:
BibTeX
LaTeX
RIS
@inproceedings{557007,
author = {Zlatuška, Jiří},
address = {St. Andrews, Scotland},
booktitle = {Fourth International Workshop on Extensions of Logic Programming},
location = {St. Andrews, Scotland},
pages = {157-166},
publisher = {R. Dyckhoff, ed.},
title = {Linear logic semantics for Concurrent Prolog},
year = {1993}
}
TY - JOUR
ID - 557007
AU - Zlatuška, Jiří
PY - 1993
TI - Linear logic semantics for Concurrent Prolog
PB - R. Dyckhoff, ed.
CY - St. Andrews, Scotland
ER -
ZLATUŠKA, Jiří. Linear logic semantics for Concurrent Prolog. In \textit{Fourth International Workshop on Extensions of Logic Programming}. St. Andrews, Scotland: R. Dyckhoff, ed., 1993, s.~157-166.
|
