J. Parker, J. Baines, P. Miller, and J. Miller. Logic and Program Semantics, volume 7230 of Lecture Notes in Computer Science, page 323. Springer, (2012)
Please log in to take part in the discussion (add own reviews or comments).
Cite this publication
More citation styles
- please select -
%0 Conference Paper
%1 conf/birthday/ParkerBMM12
%A Parker, John
%A Baines, Joel D.
%A Miller, Paul
%A Miller, Julia
%B Logic and Program Semantics
%D 2012
%E Constable, Robert L.
%E Silva, Alexandra
%I Springer
%K dblp
%P 323
%T A Tribute from the Band.
%U http://dblp.uni-trier.de/db/conf/birthday/kozen2012.html#ParkerBMM12
%V 7230
%@ 978-3-642-29484-6
@inproceedings{conf/birthday/ParkerBMM12,
added-at = {2017-05-23T00:00:00.000+0200},
author = {Parker, John and Baines, Joel D. and Miller, Paul and Miller, Julia},
biburl = {https://www.bibsonomy.org/bibtex/23d03bc4a0b2f8674dc402dbdf648ac44/dblp},
booktitle = {Logic and Program Semantics},
crossref = {conf/birthday/2012kozen},
editor = {Constable, Robert L. and Silva, Alexandra},
ee = {https://doi.org/10.1007/978-3-642-29485-3_22},
interhash = {a2dc7dd25fee0dd585afbd36fff72f78},
intrahash = {3d03bc4a0b2f8674dc402dbdf648ac44},
isbn = {978-3-642-29484-6},
keywords = {dblp},
pages = 323,
publisher = {Springer},
series = {Lecture Notes in Computer Science},
timestamp = {2019-05-15T12:20:30.000+0200},
title = {A Tribute from the Band.},
url = {http://dblp.uni-trier.de/db/conf/birthday/kozen2012.html#ParkerBMM12},
volume = 7230,
year = 2012
}