[ACM Press the 31st Annual ACM/IEEE Symposium - New York,...

  • Main
  • [ACM Press the 31st Annual ACM/IEEE...

[ACM Press the 31st Annual ACM/IEEE Symposium - New York, NY, USA (2016.07.05-2016.07.08)] Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science - LICS '16 - A Generalised Twinning Property for Minimisation of Cost Register Automata

Daviaud, Laure, Reynier, Pierre-Alain, Talbot, Jean-Marc
How much do you like this book?
What’s the quality of the file?
Download the book for quality assessment
What’s the quality of the downloaded files?
Year:
2016
Language:
english
DOI:
10.1145/2933575.2934549
File:
PDF, 373 KB
english, 2016
Conversion to is in progress
Conversion to is failed