%0 Conference Paper %1 conf/lics/MullerSS88 %A Muller, David E. %A Saoudi, Ahmed %A Schupp, Paul E. %B LICS %D 1988 %I IEEE Computer Society %K dblp %P 422-427 %T Weak Alternating Automata Give a Simple Explanation of Why Most Temporal and Dynamic Logics are Decidable in Exponential Time %U http://dblp.uni-trier.de/db/conf/lics/lics88.html#MullerSS88 %@ 0-8186-0853-6

@inproceedings{conf/lics/MullerSS88, added-at = {2023-03-24T00:00:00.000+0100}, author = {Muller, David E. and Saoudi, Ahmed and Schupp, Paul E.}, biburl = {https://www.bibsonomy.org/bibtex/28ff467f32ad499af87b23e9eee1f8be6/dblp}, booktitle = {LICS}, crossref = {conf/lics/1988}, ee = {https://doi.ieeecomputersociety.org/10.1109/LICS.1988.5139}, interhash = {5946b2932e0394025184fc468c1f48f2}, intrahash = {8ff467f32ad499af87b23e9eee1f8be6}, isbn = {0-8186-0853-6}, keywords = {dblp}, pages = {422-427}, publisher = {IEEE Computer Society}, timestamp = {2024-04-10T06:42:48.000+0200}, title = {Weak Alternating Automata Give a Simple Explanation of Why Most Temporal and Dynamic Logics are Decidable in Exponential Time}, url = {http://dblp.uni-trier.de/db/conf/lics/lics88.html#MullerSS88}, year = 1988 }