Clemens Grabmayer, Jörg Endrullis, Dimitri Hendriks, Jan Willem Klop, Lawrence S. Moss
Automatic Sequences and Zip-Specifications
LICS, 2012.
@inproceedings{LICS-2012-GrabmayerEHKM, author = "Clemens Grabmayer and Jörg Endrullis and Dimitri Hendriks and Jan Willem Klop and Lawrence S. Moss", booktitle = "{Proceedings of the 27th Annual IEEE Symposium on Logic in Computer Science}", doi = "10.1109/LICS.2012.44", isbn = "978-1-4673-2263-8", pages = "335--344", publisher = "{IEEE Computer Society}", title = "{Automatic Sequences and Zip-Specifications}", year = 2012, }