The Classical Decision Problem, Egon Börger, Erich Grädel, and Yuri Gurevich. Marx, M. J. Log. Lang. Inf., 8(4):478-481, 1999.
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
{"_id":"YqPSkPdRnpX6ZXzvh","bibbaseid":"marx-theclassicaldecisionproblemegonbrgererichgrdelandyurigurevich-1999","author_short":["Marx, M."],"bibdata":{"bibtype":"article","type":"article","added-at":"2020-09-17T00:00:00.000+0200","author":[{"propositions":[],"lastnames":["Marx"],"firstnames":["Maarten"],"suffixes":[]}],"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","bibtex":"@article{journals/jolli/Marx99,\n added-at = {2020-09-17T00:00:00.000+0200},\n author = {Marx, Maarten},\n biburl = {https://www.bibsonomy.org/bibtex/26dfff1b8f7637737ab5448678dbbd18d/dblp},\n ee = {https://doi.org/10.1023/A:1008334715902},\n interhash = {7694d69d9eed03b412b8e8c17f9be8d2},\n intrahash = {6dfff1b8f7637737ab5448678dbbd18d},\n journal = {J. Log. Lang. Inf.},\n keywords = {dblp},\n number = 4,\n pages = {478-481},\n timestamp = {2020-09-18T11:45:46.000+0200},\n title = {The Classical Decision Problem, Egon Börger, Erich Grädel, and Yuri Gurevich.},\n url = {http://dblp.uni-trier.de/db/journals/jolli/jolli8.html#Marx99},\n volume = 8,\n year = 1999\n}\n\n","author_short":["Marx, M."],"key":"journals/jolli/Marx99","id":"journals/jolli/Marx99","bibbaseid":"marx-theclassicaldecisionproblemegonbrgererichgrdelandyurigurevich-1999","role":"author","urls":{"Link":"https://doi.org/10.1023/A:1008334715902","Paper":"http://dblp.uni-trier.de/db/journals/jolli/jolli8.html#Marx99"},"keyword":["dblp"],"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"http://www.bibsonomy.org/bib/author/maarten marx?items=1000","dataSources":["Siuk2oSXMdsbEd2r9","aKX2T7ef3GscsArHw"],"keywords":["dblp"],"search_terms":["classical","decision","problem","egon","rger","erich","del","yuri","gurevich","marx"],"title":"The Classical Decision Problem, Egon Börger, Erich Grädel, and Yuri Gurevich.","year":1999}