Solvability of Matrix-Exponential Equations

Joël Ouaknine, Amaury Pouly, João Sousa Pinto, James Worrell. Solvability of Matrix-Exponential Equations. In Martin Grohe, Eric Koskinen, Natarajan Shankar, editors, Proceedings of the 31st Annual ACM/IEEE Symposium on Logic in Computer Science, LICS '16, New York, NY, USA, July 5-8, 2016. pages 798-806, ACM, 2016. [doi]

Authors

Joël Ouaknine

This author has not been identified. Look up 'Joël Ouaknine' in Google

Amaury Pouly

This author has not been identified. Look up 'Amaury Pouly' in Google

João Sousa Pinto

This author has not been identified. Look up 'João Sousa Pinto' in Google

James Worrell

This author has not been identified. Look up 'James Worrell' in Google