Linear logic semantics for Concurrent Prolog

Přeskočit na horní lištu Přeskočit na hlavičku Přeskočit na obsah Přeskočit na patičku

Publikace Přehled o publikaci

Přehled o publikaci

D 1993

Linear logic semantics for Concurrent Prolog

ZLATUŠKA, Jiří

Základní údaje

Originální název

Linear logic semantics for Concurrent Prolog

Název anglicky

Linear logic semantics for Concurrent Prolog

Autoři

ZLATUŠKA, Jiří

Vydání

St. Andrews, Scotland, Fourth International Workshop on Extensions of Logic Programming, od s. 157-166, 10 s. 1993

Nakladatel

R. Dyckhoff, ed.

Další údaje

Typ výsledku

Stať ve sborníku

Utajení

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

Změněno: 20. 8. 2004 12:22, Irena Hudečková

ZLATUŠKA, Jiří. Linear logic semantics for Concurrent Prolog. In Fourth International Workshop on Extensions of Logic Programming. St. Andrews, Scotland: R. Dyckhoff, ed., 1993, s. 157-166.

@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  - CONF
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.