Philippe Balbiani, Szabolcs Mikulás. Decidability and Complexity via Mosaics of the Temporal Logic of the Lexicographic Products of Unbounded Dense Linear Orders. In Pascal Fontaine, Christophe Ringeissen, Renate A. Schmidt, editors, Frontiers of Combining Systems - 9th International Symposium, FroCoS 2013, Nancy, France, September 18-20, 2013. Proceedings. Volume 8152 of Lecture Notes in Computer Science, pages 151-164, Springer, 2013. [doi]
No references recorded for this publication.
No citations of this publication recorded.