| BRIM, Luboš, David GILBERT, Jean-Marie JACQUET a Mojmír KŘETÍNSKÝ. Operational semantics of concurrent logical systems. In ALP-UK Workshop on Cocurrency in Computational Logic. London,U.K.: City University London, 1993, s. 13-18. |
Další formáty:
BibTeX
LaTeX
RIS
@inbook{190060,
author = {Brim, Luboš and Gilbert, David and Jacquet, JeanandMarie and Křetínský, Mojmír},
address = {London,U.K.},
booktitle = {ALP-UK Workshop on Cocurrency in Computational Logic},
language = {eng},
location = {London,U.K.},
pages = {13-18},
publisher = {City University London},
title = {Operational semantics of concurrent logical systems.},
year = {1993}
}
TY - CHAP
ID - 190060
AU - Brim, Luboš - Gilbert, David - Jacquet, Jean-Marie - Křetínský, Mojmír
PY - 1993
TI - Operational semantics of concurrent logical systems.
PB - City University London
CY - London,U.K.
ER -
BRIM, Luboš, David GILBERT, Jean-Marie JACQUET a Mojmír KŘETÍNSKÝ. Operational semantics of concurrent logical systems. In \textit{ALP-UK Workshop on Cocurrency in Computational Logic}. London,U.K.: City University London, 1993, s.~13-18.
|
