Abstract is missing.
- Nadia Busi (1968-2007)Claudio Zandron. 1 [doi]
- Symbolic Model Checking of Tense Logics on Rational Kripke ModelsWilmari Bekker, Valentin Goranko. 2-20 [doi]
- Genetic Systems without Inhibition RulesNadia Busi, Claudio Zandron. 21-31 [doi]
- Probabilistic Systems with LimSup and LimInf ObjectivesKrishnendu Chatterjee, Thomas A. Henzinger. 32-45 [doi]
- A Playful Glance at Hierarchical Questions for Two-Way Alternating AutomataJacques Duparc, Alessandro Facchini. 46-55 [doi]
- Towards Model-Checking Programs with ListsAlain Finkel, Étienne Lozes, Arnaud Sangnier. 56-86 [doi]
- Representations of Numbers as å::::::k::::=-::::n:::::::::::::n::::::: e::::::k:::::: ::::k::::/sum_{k=-n}^n /varepsilon_k k: A Saddle Point ApproachGuy Louchard, Helmut Prodinger. 87-96 [doi]
- Sets of Infinite Words Recognized by Deterministic One-Turn Pushdown AutomataDouadi Mihoubi. 97-108 [doi]
- Fine-Continuous Functions and Fractals Defined by Infinite Systems of ContractionsYoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki. 109-125 [doi]
- Is P = PSPACE for Infinite Time Turing Machines?Joost Winter. 126-137 [doi]