|
| Der Artikel wird am Ende des Bestellprozesses zum Download zur Verfügung gestellt. |
Infinity in Logic and Computation
International Conference, ILC 2007, Cape Town, South Africa, November 3-5, 2007, Revised Selected Papers
Sofort lieferbar | Lieferzeit: Sofort lieferbar I
ISBN-13:
9783642030925
Veröffentl:
2009
Seiten:
139
Autor:
Margaret Archibald
Serie:
5489, Lecture Notes in Artificial Intelligence Lecture Notes in Computer Science
eBook Typ:
PDF
eBook Format:
EPUB
Kopierschutz:
1 - PDF Watermark
Sprache:
Englisch
Beschreibung:
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.
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?.
Kunden Rezensionen
Mehr zum Thema
Folgen Sie uns auf:
