@inproceedings{Figueira:2018:PRD:3209108.3209154,
    Address = {New York, NY, USA},
    Author = {Figueira, Diego and Praveen, M.},
    BookTitle = {Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science},
    File = {p404-Figueira (0) - a - a - r.pdf},
    ISBN = {978-1-4503-5583-4},
    Location = {Oxford, United Kingdom},
    Pages = {404--413},
    Publisher = {ACM},
    Series = {LICS '18},
    Title = {Playing with Repetitions in Data Words Using Energy Games},
    URL = {http://doi.acm.org/10.1145/3209108.3209154},
    Year = {2018},
    acmid = {3209154},
    bdsk-url-1 = {http://doi.acm.org/10.1145/3209108.3209154},
    bdsk-url-2 = {https://doi.org/10.1145/3209108.3209154},
    date-added = {2019-03-08 11:33:49 +0100},
    date-modified = {2019-03-08 11:33:49 +0100},
    numpages = {10},
    doi = {10.1145/3209108.3209154}
}

@inproceedings{Figueira:2018:PRD:3209108.3209154, Address = {New York, NY, USA}, Author = {Figueira, Diego and Praveen, M.}, BookTitle = {Proceedings of the 33rd Annual ACM/IEEE Symposium on Logic in Computer Science}, File = {p404-Figueira (0) - a - a - r.pdf}, ISBN = {978-1-4503-5583-4}, Location = {Oxford, United Kingdom}, Pages = {404--413}, Publisher = {ACM}, Series = {LICS '18}, Title = {Playing with Repetitions in Data Words Using Energy Games}, URL = {http://doi.acm.org/10.1145/3209108.3209154}, Year = {2018}, acmid = {3209154}, bdsk-url-1 = {http://doi.acm.org/10.1145/3209108.3209154}, bdsk-url-2 = {https://doi.org/10.1145/3209108.3209154}, date-added = {2019-03-08 11:33:49 +0100}, date-modified = {2019-03-08 11:33:49 +0100}, numpages = {10}, doi = {10.1145/3209108.3209154} }

Library Size: 13G (12942 entries), Last Updated: Apr 05, 2026, 08:41:35, Build Time: N/A badge