Inherent Vacuity in Lattice Automata

Hila Gonen, Orna Kupferman. Inherent Vacuity in Lattice Automata. In Lev D. Beklemishev, Andreas Blass, Nachum Dershowitz, Bernd Finkbeiner, Wolfram Schulte, editors, Fields of Logic and Computation II - Essays Dedicated to Yuri Gurevich on the Occasion of His 75th Birthday. Volume 9300 of Lecture Notes in Computer Science, pages 174-192, Springer, 2015. [doi]

Authors

Hila Gonen

This author has not been identified. Look up 'Hila Gonen' in Google

Orna Kupferman

This author has not been identified. Look up 'Orna Kupferman' in Google