A Report of ARCADE 2017. Reger, G. & Traytel, D. In Reger, G. & Traytel, D., editors, ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017, volume 51, of EPiC Series in Computing, pages 1–5, 2017. EasyChair.
Paper doi bibtex @inproceedings{DBLP:conf/cade/RegerT17,
author = {Giles Reger and
Dmitriy Traytel},
editor = {Giles Reger and
Dmitriy Traytel},
title = {A Report of {ARCADE} 2017},
booktitle = {{ARCADE} 2017, 1st International Workshop on Automated Reasoning:
Challenges, Applications, Directions, Exemplary Achievements, Gothenburg,
Sweden, 6th August 2017},
series = {EPiC Series in Computing},
volume = {51},
pages = {1--5},
publisher = {EasyChair},
year = {2017},
url = {https://doi.org/10.29007/143m},
doi = {10.29007/143m},
timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},
biburl = {https://dblp.org/rec/conf/cade/RegerT17.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"rbf7sPwPEnQ6BASye","bibbaseid":"reger-traytel-areportofarcade2017-2017","author_short":["Reger, G.","Traytel, D."],"bibdata":{"bibtype":"inproceedings","type":"inproceedings","author":[{"firstnames":["Giles"],"propositions":[],"lastnames":["Reger"],"suffixes":[]},{"firstnames":["Dmitriy"],"propositions":[],"lastnames":["Traytel"],"suffixes":[]}],"editor":[{"firstnames":["Giles"],"propositions":[],"lastnames":["Reger"],"suffixes":[]},{"firstnames":["Dmitriy"],"propositions":[],"lastnames":["Traytel"],"suffixes":[]}],"title":"A Report of ARCADE 2017","booktitle":"ARCADE 2017, 1st International Workshop on Automated Reasoning: Challenges, Applications, Directions, Exemplary Achievements, Gothenburg, Sweden, 6th August 2017","series":"EPiC Series in Computing","volume":"51","pages":"1–5","publisher":"EasyChair","year":"2017","url":"https://doi.org/10.29007/143m","doi":"10.29007/143m","timestamp":"Sun, 15 Aug 2021 01:00:00 +0200","biburl":"https://dblp.org/rec/conf/cade/RegerT17.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@inproceedings{DBLP:conf/cade/RegerT17,\n author = {Giles Reger and\n Dmitriy Traytel},\n editor = {Giles Reger and\n Dmitriy Traytel},\n title = {A Report of {ARCADE} 2017},\n booktitle = {{ARCADE} 2017, 1st International Workshop on Automated Reasoning:\n Challenges, Applications, Directions, Exemplary Achievements, Gothenburg,\n Sweden, 6th August 2017},\n series = {EPiC Series in Computing},\n volume = {51},\n pages = {1--5},\n publisher = {EasyChair},\n year = {2017},\n url = {https://doi.org/10.29007/143m},\n doi = {10.29007/143m},\n timestamp = {Sun, 15 Aug 2021 01:00:00 +0200},\n biburl = {https://dblp.org/rec/conf/cade/RegerT17.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Reger, G.","Traytel, D."],"editor_short":["Reger, G.","Traytel, D."],"key":"DBLP:conf/cade/RegerT17","id":"DBLP:conf/cade/RegerT17","bibbaseid":"reger-traytel-areportofarcade2017-2017","role":"author","urls":{"Paper":"https://doi.org/10.29007/143m"},"metadata":{"authorlinks":{}}},"bibtype":"inproceedings","biburl":"https://dblp.org/pid/95/10567.bib","dataSources":["kgH2yTFtfgstdBGrT"],"keywords":[],"search_terms":["report","arcade","2017","reger","traytel"],"title":"A Report of ARCADE 2017","year":2017}