Digitale Bibliotheek
Sluiten Bladeren door artikelen uit een tijdschrift
     Tijdschrift beschrijving
       Alle jaargangen van het bijbehorende tijdschrift
         Alle afleveringen van het bijbehorende jaargang
                                       Alle artikelen van de bijbehorende aflevering
 
                             26 gevonden resultaten
nr titel auteur tijdschrift jaar jaarg. afl. pagina('s) type
1 Absolute convergence of rational series is semi-decidable Bailly, Raphaël
2011
209 3 p. 280-295
16 p.
artikel
2 A classification of the expressive power of well-structured transition systems Abdulla, Parosh Aziz
2011
209 3 p. 248-279
32 p.
artikel
3 Bounded hairpin completion Ito, Masami
2011
209 3 p. 471-485
15 p.
artikel
4 Building species trees from larger parts of phylogenomic databases Scornavacca, C.
2011
209 3 p. 590-605
16 p.
artikel
5 Computational complexity of the problem of tree generation under fine-grained access control policies Moore, Neil
2011
209 3 p. 548-567
20 p.
artikel
6 Decidability of operation problems for T0L languages and subclasses Bordihn, Henning
2011
209 3 p. 344-352
9 p.
artikel
7 Decision problems for convex languages Brzozowski, Janusz
2011
209 3 p. 353-367
15 p.
artikel
8 Descriptional and computational complexity of finite automata—A survey Holzer, Markus
2011
209 3 p. 456-470
15 p.
artikel
9 Editorial Board (continued) 2011
209 3 p. i-
1 p.
artikel
10 Efficiency of the symmetry bias in grammar acquisition Matoba, Ryuichi
2011
209 3 p. 536-547
12 p.
artikel
11 Finite identification from the viewpoint of epistemic update Dégremont, Cédric
2011
209 3 p. 383-396
14 p.
artikel
12 Hypothesis spaces for learning Jain, Sanjay
2011
209 3 p. 513-527
15 p.
artikel
13 Inside Front Cover: Editorial Board 2011
209 3 p. IFC-
1 p.
artikel
14 Larger lower bounds on the OBDD complexity of integer multiplication Bollig, Beate
2011
209 3 p. 333-343
11 p.
artikel
15 Limitations of lower bound methods for deterministic nested word automata Salomaa, Kai
2011
209 3 p. 580-589
10 p.
artikel
16 Morphic characterizations of languages in Chomsky hierarchy with insertion and locality Fujioka, Kaoru
2011
209 3 p. 397-408
12 p.
artikel
17 Optimal simulation of self-verifying automata by deterministic automata Jirásková, Galina
2011
209 3 p. 528-535
8 p.
artikel
18 Proof systems that take advice Beyersdorff, Olaf
2011
209 3 p. 320-332
13 p.
artikel
19 Queries on Xml streams with bounded delay and concurrency Gauwin, Olivier
2011
209 3 p. 409-442
34 p.
artikel
20 3rd International Conference on Language and Automata Theory and Applications (LATA 2009) Martín-Vide, Carlos
2011
209 3 p. 247-
1 p.
artikel
21 Rigid tree automata and applications Jacquemard, Florent
2011
209 3 p. 486-512
27 p.
artikel
22 Synchronizing automata with finitely many minimal synchronizing words Pribavkina, Elena V.
2011
209 3 p. 568-579
12 p.
artikel
23 Teaching randomized learners with feedback Balbach, Frank J.
2011
209 3 p. 296-319
24 p.
artikel
24 The efficiency of identifying timed automata and the power of clocks Verwer, Sicco
2011
209 3 p. 606-625
20 p.
artikel
25 The fault tolerance of NP-hard problems Glaßer, Christian
2011
209 3 p. 443-455
13 p.
artikel
26 The role of evolutionary operations in accepting hybrid networks of evolutionary processors Dassow, Jürgen
2011
209 3 p. 368-382
15 p.
artikel
                             26 gevonden resultaten
 
 Koninklijke Bibliotheek - Nationale Bibliotheek van Nederland