The Classical Decision Problem, Egon Börger, Erich Grädel, and Yuri Gurevich. Marx, M. J. Log. Lang. Inf., 8(4):478-481, 1999.
The Classical Decision Problem, Egon Börger, Erich Grädel, and Yuri Gurevich. [link]Link  The Classical Decision Problem, Egon Börger, Erich Grädel, and Yuri Gurevich. [link]Paper  bibtex   
@article{journals/jolli/Marx99,
  added-at = {2020-09-17T00:00:00.000+0200},
  author = {Marx, Maarten},
  biburl = {https://www.bibsonomy.org/bibtex/26dfff1b8f7637737ab5448678dbbd18d/dblp},
  ee = {https://doi.org/10.1023/A:1008334715902},
  interhash = {7694d69d9eed03b412b8e8c17f9be8d2},
  intrahash = {6dfff1b8f7637737ab5448678dbbd18d},
  journal = {J. Log. Lang. Inf.},
  keywords = {dblp},
  number = 4,
  pages = {478-481},
  timestamp = {2020-09-18T11:45:46.000+0200},
  title = {The Classical Decision Problem, Egon Börger, Erich Grädel, and Yuri Gurevich.},
  url = {http://dblp.uni-trier.de/db/journals/jolli/jolli8.html#Marx99},
  volume = 8,
  year = 1999
}

Downloads: 0