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

David E. Muller, Paul E. Schupp, Ahmed Saoudi

Browse the full ICCI paper archive.