Lattices of Logical Fragments over Words - (Extended Abstract)

Manfred Kufleitner, Alexander Lauser. Lattices of Logical Fragments over Words - (Extended Abstract). In Artur Czumaj, Kurt Mehlhorn, Andrew M. Pitts, Roger Wattenhofer, editors, Automata, Languages, and Programming - 39th International Colloquium, ICALP 2012, Warwick, UK, July 9-13, 2012, Proceedings, Part II. Volume 7392 of Lecture Notes in Computer Science, pages 275-286, Springer, 2012. [doi]

Authors

Manfred Kufleitner

This author has not been identified. Look up 'Manfred Kufleitner' in Google

Alexander Lauser

This author has not been identified. Look up 'Alexander Lauser' in Google