default search action
ILC 2007: Cape Town, South Africa
- Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe:
Infinity in Logic and Computation, International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers. Lecture Notes in Computer Science 5489, Springer 2009, ISBN 978-3-642-03091-8 - Claudio Zandron:
Nadia Busi (1968-2007). 1 - Wilmari Bekker, Valentin Goranko:
Symbolic Model Checking of Tense Logics on Rational Kripke Models. 2-20 - Nadia Busi, Claudio Zandron:
Genetic Systems without Inhibition Rules. 21-31 - Krishnendu Chatterjee, Thomas A. Henzinger:
Probabilistic Systems with LimSup and LimInf Objectives. 32-45 - Jacques Duparc, Alessandro Facchini:
A Playful Glance at Hierarchical Questions for Two-Way Alternating Automata. 46-55 - Alain Finkel, Étienne Lozes, Arnaud Sangnier:
Towards Model-Checking Programs with Lists. 56-86 - Guy Louchard, Helmut Prodinger:
Representations of Numbers as åk=-nn ek k\sum_{k=-n}^n \varepsilon_k k: A Saddle Point Approach. 87-96 - Douadi Mihoubi:
Sets of Infinite Words Recognized by Deterministic One-Turn Pushdown Automata. 97-108 - Yoshiki Tsujii, Takakazu Mori, Mariko Yasugi, Hideki Tsuiki:
Fine-Continuous Functions and Fractals Defined by Infinite Systems of Contractions. 109-125 - Joost Winter:
Is P = PSPACE for Infinite Time Turing Machines? 126-137
manage site settings
To protect your privacy, all features that rely on external API calls from your browser are turned off by default. You need to opt-in for them to become active. All settings here will be stored as cookies with your web browser. For more information see our F.A.Q.