| LICS Archive |
|---|
| All Conferences |
| Committees |
| Invited Speakers |
| Papers by Author |
| Test-of-Time Award Winners |
| Kleene Award Winners |
No Abstract Available
@InProceedings{BallePanangadenPrec-ACanonicalFormforWe,
author = {Borja Balle and Prakash Panangaden and Doina Precup},
title = {A Canonical Form for Weighted Automata and Applications to Approximate Minimization},
booktitle = {Proceedings of the Thirtieth Annual IEEE Symposium on Logic in Computer Science (LICS 2015)},
year = {2015},
month = {July},
pages = {701--712},
location = {Kyoto, Japan},
publisher = {IEEE Computer Society Press}
}