Пожалуйста, войдите в систему, чтобы принять участие в дискуссии (добавить собственные рецензию, или комментарий)
Цитировать эту публикацию
%0 Conference Paper
%1 conf/lics/AbramskyGMOS04
%A Abramsky, Samson
%A Ghica, Dan R.
%A Murawski, Andrzej S.
%A Ong, C.-H. Luke
%A Stark, Ian David Bede
%B LICS
%D 2004
%I IEEE Computer Society
%K dblp
%P 150-159
%T Nominal Games and Full Abstraction for the Nu-Calculus.
%U http://dblp.uni-trier.de/db/conf/lics/lics2004.html#AbramskyGMOS04
%@ 0-7695-2192-4
@inproceedings{conf/lics/AbramskyGMOS04,
added-at = {2023-03-24T00:00:00.000+0100},
author = {Abramsky, Samson and Ghica, Dan R. and Murawski, Andrzej S. and Ong, C.-H. Luke and Stark, Ian David Bede},
biburl = {https://www.bibsonomy.org/bibtex/202174258b536fc8bba33a6c6af25a805/dblp},
booktitle = {LICS},
crossref = {conf/lics/2004},
ee = {https://www.wikidata.org/entity/Q57006702},
interhash = {0e6a5df64adc39ce7ed1bb948f494cbb},
intrahash = {02174258b536fc8bba33a6c6af25a805},
isbn = {0-7695-2192-4},
keywords = {dblp},
pages = {150-159},
publisher = {IEEE Computer Society},
timestamp = {2024-04-10T20:01:20.000+0200},
title = {Nominal Games and Full Abstraction for the Nu-Calculus.},
url = {http://dblp.uni-trier.de/db/conf/lics/lics2004.html#AbramskyGMOS04},
year = 2004
}