Reasoning About Substructures and Games. Benerecetti, M., Mogavero, F., & Murano, A. ACM Trans. Comput. Log., 16(3):25:1–25:51, 2015. Paper doi bibtex 1 download @article{DBLP:journals/tocl/BenerecettiMM15,
author = {Massimo Benerecetti and
Fabio Mogavero and
Aniello Murano},
title = {Reasoning About Substructures and Games},
journal = {{ACM} Trans. Comput. Log.},
volume = {16},
number = {3},
pages = {25:1--25:51},
year = {2015},
url = {https://doi.org/10.1145/2757286},
doi = {10.1145/2757286},
timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},
biburl = {https://dblp.org/rec/journals/tocl/BenerecettiMM15.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 1
{"_id":"8u7n8B9snQC3D9EuM","bibbaseid":"benerecetti-mogavero-murano-reasoningaboutsubstructuresandgames-2015","author_short":["Benerecetti, M.","Mogavero, F.","Murano, A."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Massimo"],"propositions":[],"lastnames":["Benerecetti"],"suffixes":[]},{"firstnames":["Fabio"],"propositions":[],"lastnames":["Mogavero"],"suffixes":[]},{"firstnames":["Aniello"],"propositions":[],"lastnames":["Murano"],"suffixes":[]}],"title":"Reasoning About Substructures and Games","journal":"ACM Trans. Comput. Log.","volume":"16","number":"3","pages":"25:1–25:51","year":"2015","url":"https://doi.org/10.1145/2757286","doi":"10.1145/2757286","timestamp":"Sat, 30 Sep 2023 01:00:00 +0200","biburl":"https://dblp.org/rec/journals/tocl/BenerecettiMM15.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/tocl/BenerecettiMM15,\n author = {Massimo Benerecetti and\n Fabio Mogavero and\n Aniello Murano},\n title = {Reasoning About Substructures and Games},\n journal = {{ACM} Trans. Comput. Log.},\n volume = {16},\n number = {3},\n pages = {25:1--25:51},\n year = {2015},\n url = {https://doi.org/10.1145/2757286},\n doi = {10.1145/2757286},\n timestamp = {Sat, 30 Sep 2023 01:00:00 +0200},\n biburl = {https://dblp.org/rec/journals/tocl/BenerecettiMM15.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Benerecetti, M.","Mogavero, F.","Murano, A."],"key":"DBLP:journals/tocl/BenerecettiMM15","id":"DBLP:journals/tocl/BenerecettiMM15","bibbaseid":"benerecetti-mogavero-murano-reasoningaboutsubstructuresandgames-2015","role":"author","urls":{"Paper":"https://doi.org/10.1145/2757286"},"metadata":{"authorlinks":{}},"downloads":1},"bibtype":"article","biburl":"https://dblp.org/pid/41/1330.bib","dataSources":["rcc5nk8gmLmyRucnQ","qvQbPukenqj5YCziG","FveT9XjjEsLo76Nnx","SFiNZC9JtGydSWxQX","KWzHALEjxymhYjHPF"],"keywords":[],"search_terms":["reasoning","substructures","games","benerecetti","mogavero","murano"],"title":"Reasoning About Substructures and Games","year":2015,"downloads":1}