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

• Συγγραφή απο Οργανισμό/Αρχή: SpringerLink (Online service)
• Άλλοι συγγραφείς: Archibald, Margaret (Επιμελητής έκδοσης), Brattka, Vasco (Επιμελητής έκδοσης), Goranko, Valentin (Επιμελητής έκδοσης), Löwe, Benedikt (Επιμελητής έκδοσης)
• Μορφή: Ηλεκτρονική πηγή Ηλ. βιβλίο
• Γλώσσα: English
• Έκδοση: Berlin, Heidelberg : Springer Berlin Heidelberg, 2009.
• Σειρά: Lecture Notes in Computer Science, 5489
• Θέματα: 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...

Πίνακας περιεχομένων:

• 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?.