Minimal Useful Size of Counters for (Real-Time) Multicounter Automata

Viliam Geffert, Zuzana Bednárová. Minimal Useful Size of Counters for (Real-Time) Multicounter Automata. In Jérôme Durand-Lose, Sergey Verlan, editors, Machines, Computations, and Universality - 8th International Conference, MCU 2018, Fontainebleau, France, June 28-30, 2018, Proceedings. Volume 10881 of Lecture Notes in Computer Science, pages 105-120, Springer, 2018. [doi]

Authors

Viliam Geffert

This author has not been identified. Look up 'Viliam Geffert' in Google

Zuzana Bednárová

This author has not been identified. Look up 'Zuzana Bednárová' in Google