A Generalised Twinning Property for Minimisation of Cost Register Automata.
| Autor: | Daviaud, Laure, Reynier, Pierre-Alain, Talbot, Jean-Marc |
|---|---|
| Zdroj: | Proceedings of the 2015 30th Annual ACM,IEEE Symposium on Logic in Computer Science; 7/5/2016, p857-866, 10p |
| Databáze: | Complementary Index |
| Externí odkaz: |
|