ILC 2007:
Cape Town,
South Africa
Margaret Archibald, Vasco Brattka, Valentin Goranko, Benedikt Löwe (Eds.):
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
Last update Fri May 25 08:22:40 2012
CET by the DBLP Team — 
Data released under the ODC-BY 1.0 license — See also our legal information page
