Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Conference Paper
%1 conf/lfcs/BonelliF09
%A Bonelli, Eduardo
%A Feller, Federico
%B LFCS
%D 2009
%E Artëmov, Sergei N.
%E Nerode, Anil
%I Springer
%K dblp
%P 76-91
%T The Logic of Proofs as a Foundation for Certifying Mobile Computation.
%U http://dblp.uni-trier.de/db/conf/lfcs/lfcs2009.html#BonelliF09
%V 5407
%@ 978-3-540-92686-3
@inproceedings{conf/lfcs/BonelliF09,
added-at = {2017-05-21T00:00:00.000+0200},
author = {Bonelli, Eduardo and Feller, Federico},
biburl = {https://www.bibsonomy.org/bibtex/2ce4ce56d9e52f7753990dc1c93166240/dblp},
booktitle = {LFCS},
crossref = {conf/lfcs/2009},
editor = {Artëmov, Sergei N. and Nerode, Anil},
ee = {https://doi.org/10.1007/978-3-540-92687-0_6},
interhash = {61399b254ef30d6239d97e6cf896edf8},
intrahash = {ce4ce56d9e52f7753990dc1c93166240},
isbn = {978-3-540-92686-3},
keywords = {dblp},
pages = {76-91},
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T19:47:43.000+0200},
title = {The Logic of Proofs as a Foundation for Certifying Mobile Computation.},
url = {http://dblp.uni-trier.de/db/conf/lfcs/lfcs2009.html#BonelliF09},
volume = 5407,
year = 2009
}