Interpretations in Trees with Countably Many Branches (bibtex)
by Alexander Rabinovich, Sasha Rubin
Reference:
Interpretations in Trees with Countably Many BranchesAlexander Rabinovich, Sasha RubinProceedings of the 27th Annual IEEE Symposium on Logic in Computer Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012, pages 551-560, 2012, IEEE.
Bibtex Entry:
@inproceedings{DBLP:conf/lics/RabinovichR12,
publisher = {IEEE},
title = {Interpretations in Trees with Countably Many Branches},
url = {/pubpdf/Interpretations_in_Trees_with_Countably_Many_Branches.pdf},
booktitle = {Proceedings of the 27th Annual IEEE Symposium on Logic in Computer
Science, LICS 2012, Dubrovnik, Croatia, June 25-28, 2012},
author = {Alexander Rabinovich and Sasha Rubin},
year = {2012},
pages = {551-560},
}
Powered by bibtexbrowser