Další formáty:
BibTeX
LaTeX
RIS
@inbook{190083, author = {Zlatuška, Jiří}, address = {Hamburg}, booktitle = {Extensions of Logic Programming}, edition = {1.}, language = {eng}, location = {Hamburg}, isbn = {3-540-53590-X}, pages = {85-96}, publisher = {Springer}, title = {Linear logic semantics for Concurrent Prolog}, year = {1994} }
TY - CHAP ID - 190083 AU - Zlatuška, Jiří PY - 1994 TI - Linear logic semantics for Concurrent Prolog VL - LNAI 798 PB - Springer CY - Hamburg SN - 354053590X ER -
ZLATUŠKA, Jiří. Linear logic semantics for Concurrent Prolog. In \textit{Extensions of Logic Programming}. 1. vyd. Hamburg: Springer, 1994, s.~85-96. LNAI 798. ISBN~3-540-53590-X.
|