About this scholarly article

Proceedings. Third Annual Information Symposium on Logic in Computer Science - Edinburgh, UK (5-8 July 1988)] [1988] Proceedings. Third Annual Information Symposium on Logic in Computer Science - Weak alternating automata give a simple explanation of why most temporal and dynamic logics are decidable in exponential time by Muller, D.E.; Saoudi, A.; Schupp, P.E. is a scholarly article available to read on EtoBox.

Author

Muller, D.E.; Saoudi, A.; Schupp, P.E.

Publisher

IEEE Comput. Soc. Press

Published

1988