08061 Executive Summary -- Types, Logics and Semantics for State.
A. Ahmed, N. Benton, M. Hofmann, und G. Morrisett. Types, Logics and Semantics for State, Volume 08061 von Dagstuhl Seminar Proceedings, Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany, (2008)
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/dagstuhl/AhmedBHM08
%A Ahmed, Amal
%A Benton, Nick
%A Hofmann, Martin
%A Morrisett, Greg
%B Types, Logics and Semantics for State
%D 2008
%E Ahmed, Amal
%E Benton, Nick
%E Hofmann, Martin
%E Morrisett, Greg
%I Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany
%K dblp
%T 08061 Executive Summary -- Types, Logics and Semantics for State.
%U http://dblp.uni-trier.de/db/conf/dagstuhl/P8061.html#AhmedBHM08
%V 08061
@inproceedings{conf/dagstuhl/AhmedBHM08,
added-at = {2022-07-05T00:00:00.000+0200},
author = {Ahmed, Amal and Benton, Nick and Hofmann, Martin and Morrisett, Greg},
biburl = {https://www.bibsonomy.org/bibtex/2be136f7ff6676129ca9d907b45e77cfd/dblp},
booktitle = {Types, Logics and Semantics for State},
crossref = {conf/dagstuhl/2008P8061},
editor = {Ahmed, Amal and Benton, Nick and Hofmann, Martin and Morrisett, Greg},
ee = {http://drops.dagstuhl.de/opus/volltexte/2008/1426},
interhash = {cae359b7ab2d2b2c8b4d5e6eb9e5ec1b},
intrahash = {be136f7ff6676129ca9d907b45e77cfd},
keywords = {dblp},
publisher = {Internationales Begegnungs- und Forschungszentrum fuer Informatik (IBFI), Schloss Dagstuhl, Germany},
series = {Dagstuhl Seminar Proceedings},
timestamp = {2024-04-09T10:23:16.000+0200},
title = {08061 Executive Summary -- Types, Logics and Semantics for State.},
url = {http://dblp.uni-trier.de/db/conf/dagstuhl/P8061.html#AhmedBHM08},
volume = 08061,
year = 2008
}