Reducible Theories and Amalgamations of Models. Aameri, B. & Grüninger, M. ACM Trans. Comput. Log., 24(1):9:1–9:24, 2023.
Paper doi bibtex @article{DBLP:journals/tocl/AameriG23,
author = {Bahar Aameri and
Michael Gr{\"{u}}ninger},
title = {Reducible Theories and Amalgamations of Models},
journal = {{ACM} Trans. Comput. Log.},
volume = {24},
number = {1},
pages = {9:1--9:24},
year = {2023},
url = {https://doi.org/10.1145/3565364},
doi = {10.1145/3565364},
timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},
biburl = {https://dblp.org/rec/journals/tocl/AameriG23.bib},
bibsource = {dblp computer science bibliography, https://dblp.org}
}
Downloads: 0
{"_id":"MoGNinck6pzeNNXET","bibbaseid":"aameri-grninger-reducibletheoriesandamalgamationsofmodels-2023","author_short":["Aameri, B.","Grüninger, M."],"bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Bahar"],"propositions":[],"lastnames":["Aameri"],"suffixes":[]},{"firstnames":["Michael"],"propositions":[],"lastnames":["Grüninger"],"suffixes":[]}],"title":"Reducible Theories and Amalgamations of Models","journal":"ACM Trans. Comput. Log.","volume":"24","number":"1","pages":"9:1–9:24","year":"2023","url":"https://doi.org/10.1145/3565364","doi":"10.1145/3565364","timestamp":"Sun, 19 Jan 2025 00:00:00 +0100","biburl":"https://dblp.org/rec/journals/tocl/AameriG23.bib","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/tocl/AameriG23,\n author = {Bahar Aameri and\n Michael Gr{\\\"{u}}ninger},\n title = {Reducible Theories and Amalgamations of Models},\n journal = {{ACM} Trans. Comput. Log.},\n volume = {24},\n number = {1},\n pages = {9:1--9:24},\n year = {2023},\n url = {https://doi.org/10.1145/3565364},\n doi = {10.1145/3565364},\n timestamp = {Sun, 19 Jan 2025 00:00:00 +0100},\n biburl = {https://dblp.org/rec/journals/tocl/AameriG23.bib},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Aameri, B.","Grüninger, M."],"key":"DBLP:journals/tocl/AameriG23","id":"DBLP:journals/tocl/AameriG23","bibbaseid":"aameri-grninger-reducibletheoriesandamalgamationsofmodels-2023","role":"author","urls":{"Paper":"https://doi.org/10.1145/3565364"},"metadata":{"authorlinks":{}}},"bibtype":"article","biburl":"https://dblp.org/pid/29/4227.bib","dataSources":["kedf4DRdGxSj6HRjQ","qBPx969Q7fKqBkP4s"],"keywords":[],"search_terms":["reducible","theories","amalgamations","models","aameri","grüninger"],"title":"Reducible Theories and Amalgamations of Models","year":2023}