Bitte melden Sie sich an um selbst Rezensionen oder Kommentare zu erstellen.
Zitieren Sie diese Publikation
Mehr Zitationsstile
- bitte auswählen -
%0 Journal Article
%1 journals/corr/abs-1201-1716
%A Mazur, Tomasz
%A Lowe, Gavin
%D 2012
%J Logical Methods in Computer Science
%K
%N 1
%T A type reduction theory for systems with replicated components
%U http://dblp.uni-trier.de/db/journals/lmcs/lmcs8.html#abs-1201-1716
%V 8
@article{journals/corr/abs-1201-1716,
added-at = {2023-12-13T03:39:26.000+0100},
author = {Mazur, Tomasz and Lowe, Gavin},
biburl = {https://www.bibsonomy.org/bibtex/2ea4a7ea94cb3955b1c86ee24011b4fc7/admin},
ee = {http://arxiv.org/abs/1201.1716},
interhash = {8d965c779347fb5d9e58a16aaed6fb1e},
intrahash = {ea4a7ea94cb3955b1c86ee24011b4fc7},
journal = {Logical Methods in Computer Science},
keywords = {},
number = 1,
timestamp = {2023-12-13T03:39:26.000+0100},
title = {A type reduction theory for systems with replicated components},
url = {http://dblp.uni-trier.de/db/journals/lmcs/lmcs8.html#abs-1201-1716},
volume = 8,
year = 2012
}