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

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

Descripción completa

Detalles Bibliográficos
Clasificación:Libro Electrónico
Autor Corporativo: SpringerLink (Online service)
Otros Autores: Archibald, Margaret (Editor ), Brattka, Vasco (Editor ), Goranko, Valentin F. (Editor ), Löwe, Benedikt (Editor )
Formato: Electrónico eBook
Idioma:Inglés
Publicado: Berlin, Heidelberg : Springer Berlin Heidelberg : Imprint: Springer, 2009.
Edición:1st ed. 2009.
Colección:Lecture Notes in Artificial Intelligence, 5489
Temas:
Artificial intelligence.
Computer programming.
Compilers (Computer programs).
Computer science.
Algorithms.
Machine theory.
Artificial Intelligence.
Programming Techniques.
Compilers and Interpreters.
Theory of Computation.
Formal Languages and Automata Theory.
Acceso en línea:Texto Completo
Tabla de Contenidos:
  • 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?.

Ejemplares similares