{"_id":"Y3RarAuWMqbEF4nkq","bibbaseid":"aceto-inglfsdttir-characteristicformulaefromautomatatologic-2007","downloads":0,"creationDate":"2016-02-18T15:10:12.356Z","title":"Characteristic Formulae: From Automata to Logic","author_short":["Aceto, L.","Ingólfsdóttir, A."],"year":2007,"bibtype":"article","biburl":"https://dblp.org/pid/a/LucaAceto.bib","bibdata":{"bibtype":"article","type":"article","author":[{"firstnames":["Luca"],"propositions":[],"lastnames":["Aceto"],"suffixes":[]},{"firstnames":["Anna"],"propositions":[],"lastnames":["Ingólfsdóttir"],"suffixes":[]}],"title":"Characteristic Formulae: From Automata to Logic","journal":"Bulletin of the EATCS","volume":"91","pages":"58–75","year":"2007","timestamp":"Tue, 20 Mar 2012 00:00:00 +0100","biburl":"https://dblp.org/rec/bib/journals/eatcs/AcetoI07","bibsource":"dblp computer science bibliography, https://dblp.org","bibtex":"@article{DBLP:journals/eatcs/AcetoI07,\n author = {Luca Aceto and\n Anna Ing{\\'{o}}lfsd{\\'{o}}ttir},\n title = {Characteristic Formulae: From Automata to Logic},\n journal = {Bulletin of the {EATCS}},\n volume = {91},\n pages = {58--75},\n year = {2007},\n timestamp = {Tue, 20 Mar 2012 00:00:00 +0100},\n biburl = {https://dblp.org/rec/bib/journals/eatcs/AcetoI07},\n bibsource = {dblp computer science bibliography, https://dblp.org}\n}\n\n","author_short":["Aceto, L.","Ingólfsdóttir, A."],"key":"DBLP:journals/eatcs/AcetoI07","id":"DBLP:journals/eatcs/AcetoI07","bibbaseid":"aceto-inglfsdttir-characteristicformulaefromautomatatologic-2007","role":"author","urls":{},"downloads":0},"search_terms":["characteristic","formulae","automata","logic","aceto","ingólfsdóttir"],"keywords":[],"authorIDs":["56c5ded4dd338cfd2c0001e2"],"dataSources":["Efw79Fxo6HR8p6xBt"]}