Uniformization Problem for Variants of First Order Logic over Finite Words

Vincent Michielini. Uniformization Problem for Variants of First Order Logic over Finite Words. In Mizuho Hoshi, Shinnosuke Seki, editors, Developments in Language Theory - 22nd International Conference, DLT 2018, Tokyo, Japan, September 10-14, 2018, Proceedings. Volume 11088 of Lecture Notes in Computer Science, pages 516-528, Springer, 2018. [doi]

Abstract

Abstract is missing.