Infinity in Logic and Computation International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers /

• Corporate Author: SpringerLink (Online service)
• Other Authors: Archibald, Margaret (Editor), Brattka, Vasco (Editor), Goranko, Valentin (Editor), Löwe, Benedikt (Editor)
• Format: Electronic eBook
• Language: English
• Published: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
• Series: Lecture Notes in Computer Science, 5489
• Subjects: Computer science.; Computer programming.; Programming languages (Electronic computers).; Computers.; Algorithms.; Mathematical logic.; Artificial intelligence.; Computer Science.; Artificial Intelligence (incl. Robotics).; Programming Techniques.; Programming Languages, Compilers, Interpreters.; Theory of Computation.; Algorithm Analysis and Problem Complexity.; Mathematical Logic and Formal Languages.

Edited in collaboration with FoLLI, the Association of Logic, Language and Information, this volume constitutes a selection of papers presented at the Internatonal Conference on Infinity in Logic and Computation, ILC 2007, held in Cape Town, South Africa, in November 2007. The 7 revised papers prese...

Table of Contents:

• Nadia Busi (1968–2007)
• Symbolic Model Checking of Tense Logics on Rational Kripke Models
• Genetic Systems without Inhibition Rules
• Probabilistic Systems with LimSup and LimInf Objectives
• A Playful Glance at Hierarchical Questions for Two-Way Alternating Automata
• Towards Model-Checking Programs with Lists
• Representations of Numbers as :A Saddle Point Approach
• Sets of Infinite Words Recognized by Deterministic One-Turn Pushdown Automata
• Fine-Continuous Functions and Fractals Defined by Infinite Systems of Contractions
• Is P?=?PSPACE for Infinite Time Turing Machines?.