Model checking existential logic on partially ordered sets - researchr publication authors

researchr

You are not signed in
Sign in
Sign up

Simone Bova, Robert Ganian, Stefan Szeider. Model checking existential logic on partially ordered sets. In Thomas A. Henzinger, Dale Miller, editors, Joint Meeting of the Twenty-Third EACSL Annual Conference on Computer Science Logic (CSL) and the Twenty-Ninth Annual ACM/IEEE Symposium on Logic in Computer Science (LICS), CSL-LICS '14, Vienna, Austria, July 14 - 18, 2014. pages 21, ACM, 2014. [doi]

This author has not been identified. Look up 'Simone Bova' in GoogleThis author has not been identified. Look up 'Robert Ganian' in GoogleThis author has not been identified. Look up 'Stefan Szeider' in Google

runs on WebDSL