Volume 209; Issue 3

Information and Computation

Volume 209; Issue 3
1

Finite identification from the viewpoint of epistemic update

Cédric Dégremont, Nina Gierasimczuk
Journal:
Information and Computation
Year:
2011
Language:
english
File:
PDF, 378 KB
english, 2011
4

Absolute convergence of rational series is semi-decidable

Raphaël Bailly, François Denis
Journal:
Information and Computation
Year:
2011
Language:
english
File:
PDF, 634 KB
english, 2011
5

Teaching randomized learners with feedback

Frank J. Balbach, Thomas Zeugmann
Journal:
Information and Computation
Year:
2011
Language:
english
File:
PDF, 666 KB
english, 2011
6

Proof systems that take advice

Olaf Beyersdorff, Johannes Köbler, Sebastian Müller
Journal:
Information and Computation
Year:
2011
Language:
english
File:
PDF, 326 KB
english, 2011
7

Larger lower bounds on the OBDD complexity of integer multiplication

Beate Bollig
Journal:
Information and Computation
Year:
2011
Language:
english
File:
PDF, 458 KB
english, 2011
8

Decidability of operation problems for T0L languages and subclasses

Henning Bordihn, Markus Holzer, Martin Kutrib
Journal:
Information and Computation
Year:
2011
Language:
english
File:
PDF, 268 KB
english, 2011
9

Decision problems for convex languages

Janusz Brzozowski, Jeffrey Shallit, Zhi Xu
Journal:
Information and Computation
Year:
2011
Language:
english
File:
PDF, 426 KB
english, 2011
11

Morphic characterizations of languages in Chomsky hierarchy with insertion and locality

Kaoru Fujioka
Journal:
Information and Computation
Year:
2011
Language:
english
File:
PDF, 331 KB
english, 2011
12

The fault tolerance of NP-hard problems

Christian Glaßer, A. Pavan, Stephen Travers
Journal:
Information and Computation
Year:
2011
Language:
english
File:
PDF, 321 KB
english, 2011
13

Descriptional and computational complexity of finite automata—A survey

Markus Holzer, Martin Kutrib
Journal:
Information and Computation
Year:
2011
Language:
english
File:
PDF, 377 KB
english, 2011
14

Bounded hairpin completion

Masami Ito, Peter Leupold, Florin Manea, Victor Mitrana
Journal:
Information and Computation
Year:
2011
Language:
english
File:
PDF, 370 KB
english, 2011
15

Rigid tree automata and applications

Florent Jacquemard, Francis Klay, Camille Vacher
Journal:
Information and Computation
Year:
2011
Language:
english
File:
PDF, 583 KB
english, 2011
16

Hypothesis spaces for learning

Sanjay Jain
Journal:
Information and Computation
Year:
2011
Language:
english
File:
PDF, 355 KB
english, 2011
17

Optimal simulation of self-verifying automata by deterministic automata

Galina Jirásková, Giovanni Pighizzini
Journal:
Information and Computation
Year:
2011
Language:
english
File:
PDF, 332 KB
english, 2011
18

Efficiency of the symmetry bias in grammar acquisition

Ryuichi Matoba, Makoto Nakamura, Satoshi Tojo
Journal:
Information and Computation
Year:
2011
Language:
english
File:
PDF, 458 KB
english, 2011
20

Synchronizing automata with finitely many minimal synchronizing words

Elena V. Pribavkina, Emanuele Rodaro
Journal:
Information and Computation
Year:
2011
Language:
english
File:
PDF, 533 KB
english, 2011
21

Limitations of lower bound methods for deterministic nested word automata

Kai Salomaa
Journal:
Information and Computation
Year:
2011
Language:
english
File:
PDF, 337 KB
english, 2011
22

Building species trees from larger parts of phylogenomic databases

C. Scornavacca, V. Berry, V. Ranwez
Journal:
Information and Computation
Year:
2011
Language:
english
File:
PDF, 544 KB
english, 2011
23

The efficiency of identifying timed automata and the power of clocks

Sicco Verwer, Mathijs de Weerdt, Cees Witteveen
Journal:
Information and Computation
Year:
2011
Language:
english
File:
PDF, 562 KB
english, 2011
24

Inside Front Cover: Editorial Board

Journal:
Information and Computation
Year:
2011
Language:
english
File:
PDF, 28 KB
english, 2011
25

Editorial Board (continued)

Journal:
Information and Computation
Year:
2011
File:
PDF, 25 KB
2011
26

Queries on Xml streams with bounded delay and concurrency

Olivier Gauwin, Joachim Niehren, Sophie Tison
Journal:
Information and Computation
Year:
2011
Language:
english
File:
PDF, 1006 KB
english, 2011