DBLP Record 'conf/stoc/MeyerP80'

BibTeX

@inproceedings{DBLP:conf/stoc/MeyerP80,
  author    = {Albert R. Meyer and
               Rohit Parikh},
  title     = {Definability in Dynamic Logic},
  booktitle = {STOC},
  year      = {1980},
  pages     = {1-7},
  crossref  = {DBLP:conf/stoc/STOC12},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}

@proceedings{DBLP:conf/stoc/STOC12,
  title     = {Conference Proceedings of the Twelfth Annual ACM Symposium
               on Theory of Computing, 28-30 April, Los Angeles, California,
               USA},
  booktitle = {STOC},
  publisher = {ACM},
  year      = {1980},
  bibsource = {DBLP, http://dblp.uni-trier.de}
}