On the Decidability of the Linear Z-Temporal Logic and the Monadic Second Order Theory - researchr publication

researchr

You are not signed in
Sign in
Sign up

David E. Muller, Paul E. Schupp, Ahmed Saoudi. On the Decidability of the Linear Z-Temporal Logic and the Monadic Second Order Theory. In Waldemar W. Koczkodaj, Peter E. Lauer, Anestis A. Toptsis, editors, Computing and Information - ICCI 92, Fourth International Conference on Computing and Information, Toronto, Ontario, Canada, May 28-30, 1992, Proceedings. pages 2-5, IEEE Computer Society, 1992.

Abstract is missing.

runs on WebDSL