BRIM, Luboš, David GILBERT, Jean-Marie JACQUET and 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, p. 13-18. |
Other formats:
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 and 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, p.~13-18.
|