On the complexity of quantified linear systems

From MaRDI portal
Publication:391791

DOI10.1016/j.tcs.2013.08.001zbMath1358.03051OpenAlexW2157787341MaRDI QIDQ391791

Salvatore Ruggieri, Pavlos Eirinakis, K. Subramani and Vahan Mkrtchyan, Piotr J. Wojciechowski

Publication date: 13 January 2014

Published in: Theoretical Computer Science (Search for Journal in Brave)

Full work available at URL: https://doi.org/10.1016/j.tcs.2013.08.001




Related Items (1)


Uses Software


Cites Work


This page was built for publication: On the complexity of quantified linear systems