%0 Conference Paper %1 conf/lics/DaviaudRT16 %A Daviaud, Laure %A Reynier, Pierre-Alain %A Talbot, Jean-Marc %B LICS %D 2016 %E Grohe, Martin %E Koskinen, Eric %E Shankar, Natarajan %I ACM %K dblp %P 857-866 %T A Generalised Twinning Property for Minimisation of Cost Register Automata. %U http://dblp.uni-trier.de/db/conf/lics/lics2016.html#DaviaudRT16 %@ 978-1-4503-4391-6

@inproceedings{conf/lics/DaviaudRT16, added-at = {2021-08-11T00:00:00.000+0200}, author = {Daviaud, Laure and Reynier, Pierre-Alain and Talbot, Jean-Marc}, biburl = {https://www.bibsonomy.org/bibtex/2eb2f9c2682a881a5992dc008896b6678/dblp}, booktitle = {LICS}, crossref = {conf/lics/2016}, editor = {Grohe, Martin and Koskinen, Eric and Shankar, Natarajan}, ee = {https://ieeexplore.ieee.org/document/8576399}, interhash = {4d84996d3f8c471ee3c450435992e779}, intrahash = {eb2f9c2682a881a5992dc008896b6678}, isbn = {978-1-4503-4391-6}, keywords = {dblp}, pages = {857-866}, publisher = {ACM}, timestamp = {2024-04-10T20:03:35.000+0200}, title = {A Generalised Twinning Property for Minimisation of Cost Register Automata.}, url = {http://dblp.uni-trier.de/db/conf/lics/lics2016.html#DaviaudRT16}, year = 2016 }