Infinity in Logic and Computation - Lecture Notes in Computer Science
Latest Publications

TOTAL DOCUMENTS

(FIVE YEARS 0)

H-INDEX

(FIVE YEARS 0)

Published By Springer Berlin Heidelberg

9783642030918, 9783642030925

Latest Documents Most Cited Documents Contributed Authors Related Sources Related Keywords

Genetic Systems without Inhibition Rules

Infinity in Logic and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03092-5_3 ◽

2009 ◽

pp. 21-31

Author(s):

Nadia Busi ◽

Claudio Zandron

Keyword(s):

Genetic Systems

Download Full-text

Towards Model-Checking Programs with Lists

Infinity in Logic and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03092-5_6 ◽

2009 ◽

pp. 56-86 ◽

Cited By ~ 4

Author(s):

Alain Finkel ◽

Étienne Lozes ◽

Arnaud Sangnier

Keyword(s):

Model Checking

Download Full-text

Fine-Continuous Functions and Fractals Defined by Infinite Systems of Contractions

Infinity in Logic and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03092-5_9 ◽

2009 ◽

pp. 109-125

Author(s):

Yoshiki Tsujii ◽

Takakazu Mori ◽

Mariko Yasugi ◽

Hideki Tsuiki

Keyword(s):

Continuous Functions ◽

Infinite Systems

Download Full-text

Sets of Infinite Words Recognized by Deterministic One-Turn Pushdown Automata

Infinity in Logic and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03092-5_8 ◽

2009 ◽

pp. 97-108

Author(s):

Douadi Mihoubi

Keyword(s):

Infinite Words ◽

Pushdown Automata

Download Full-text

Is P = PSPACE for Infinite Time Turing Machines?

Infinity in Logic and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03092-5_10 ◽

2009 ◽

pp. 126-137 ◽

Cited By ~ 2

Author(s):

Joost Winter

Keyword(s):

Turing Machines ◽

Infinite Time

Download Full-text

Representations of Numbers as $\sum_{k=-n}^n \varepsilon_k k$ :A Saddle Point Approach

Infinity in Logic and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03092-5_7 ◽

2009 ◽

pp. 87-96 ◽

Cited By ~ 2

Author(s):

Guy Louchard ◽

Helmut Prodinger

Keyword(s):

Saddle Point

Download Full-text

Nadia Busi (1968–2007)

Infinity in Logic and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03092-5_1 ◽

2009 ◽

pp. 1-1

Author(s):

Claudio Zandron

Download Full-text

Probabilistic Systems with LimSup and LimInf Objectives

Infinity in Logic and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03092-5_4 ◽

2009 ◽

pp. 32-45 ◽

Cited By ~ 6

Author(s):

Krishnendu Chatterjee ◽

Thomas A. Henzinger

Keyword(s):

Probabilistic Systems

Download Full-text

Symbolic Model Checking of Tense Logics on Rational Kripke Models

Infinity in Logic and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03092-5_2 ◽

2009 ◽

pp. 2-20 ◽

Cited By ~ 3

Author(s):

Wilmari Bekker ◽

Valentin Goranko

Keyword(s):

Model Checking ◽

Symbolic Model Checking ◽

Kripke Models ◽

Symbolic Model

Download Full-text

A Playful Glance at Hierarchical Questions for Two-Way Alternating Automata

Infinity in Logic and Computation - Lecture Notes in Computer Science ◽

10.1007/978-3-642-03092-5_5 ◽

2009 ◽

pp. 46-55

Author(s):

Jacques Duparc ◽

Alessandro Facchini

Keyword(s):

Alternating Automata

Download Full-text

Infinity in Logic and Computation - Lecture Notes in Computer ScienceLatest Publications

TOTAL DOCUMENTS

H-INDEX

Published By Springer Berlin Heidelberg

Genetic Systems without Inhibition Rules

Towards Model-Checking Programs with Lists

Fine-Continuous Functions and Fractals Defined by Infinite Systems of Contractions

Sets of Infinite Words Recognized by Deterministic One-Turn Pushdown Automata

Is P = PSPACE for Infinite Time Turing Machines?

Representations of Numbers as $\sum_{k=-n}^n \varepsilon_k k$ :A Saddle Point Approach

Nadia Busi (1968–2007)

Probabilistic Systems with LimSup and LimInf Objectives

Symbolic Model Checking of Tense Logics on Rational Kripke Models

A Playful Glance at Hierarchical Questions for Two-Way Alternating Automata

Infinity in Logic and Computation - Lecture Notes in Computer Science
Latest Publications