%0 Journal Article %1 journals/iandc/NivatS89 %A Nivat, Maurice %A Saoudi, Ahmed %D 1989 %J Inf. Comput. %K %N 1 %P 41-64 %T Automata on Infinite Objects and Their Applications to Logic and Programming %U http://dblp.uni-trier.de/db/journals/iandc/iandc83.html#NivatS89 %V 83

@article{journals/iandc/NivatS89, added-at = {2023-12-12T23:47:36.000+0100}, author = {Nivat, Maurice and Saoudi, Ahmed}, biburl = {https://www.bibsonomy.org/bibtex/231b883d5284a9f62a858b47f42cccac1/admin}, ee = {http://dx.doi.org/10.1016/0890-5401(89)90046-1}, interhash = {5a54f2b608112c19461426b01529e1e7}, intrahash = {31b883d5284a9f62a858b47f42cccac1}, journal = {Inf. Comput.}, keywords = {}, month = {October}, number = 1, pages = {41-64}, timestamp = {2023-12-12T23:47:36.000+0100}, title = {Automata on Infinite Objects and Their Applications to Logic and Programming}, url = {http://dblp.uni-trier.de/db/journals/iandc/iandc83.html#NivatS89}, volume = 83, year = 1989 }