BibTeX record conf/fcs/EsikM07

download as .bib file

@inproceedings{DBLP:conf/fcs/EsikM07,
  author       = {Zolt{\'{a}}n {\'{E}}sik and
                  Gabriela Mart{\'{\i}}n},
  editor       = {Hamid R. Arabnia and
                  Pei Li Zhou},
  title        = {An Algebraic Characterization of Wolper's Logic},
  booktitle    = {Proceedings of the 2007 International Conference on Foundations of
                  Computer Science, {FCS} 2007, June 25-28, 2007, Las Vegas, Nevada,
                  {USA}},
  pages        = {139--143},
  publisher    = {{CSREA} Press},
  year         = {2007},
  timestamp    = {Wed, 11 Feb 2009 11:19:14 +0100},
  biburl       = {https://dblp.org/rec/conf/fcs/EsikM07.bib},
  bibsource    = {dblp computer science bibliography, https://dblp.org}
}
a service of  Schloss Dagstuhl - Leibniz Center for Informatics