| no |
title |
author |
magazine |
year |
volume |
issue |
page(s) |
type |
| 1 |
An extension of context-free grammars with one-sided context specifications
|
Barash, Mikhail
|
|
2014
|
237 |
C |
p. 268-293
26 p.
|
article
|
| 2 |
Answering regular path queries in expressive Description Logics via alternating tree-automata
|
Calvanese, Diego
|
|
2014
|
237 |
C |
p. 12-55
44 p.
|
article
|
| 3 |
Closing complexity gaps for coloring problems on H-free graphs
|
Golovach, Petr A.
|
|
2014
|
237 |
C |
p. 204-214
11 p.
|
article
|
| 4 |
Computational completeness of equations over sets of natural numbers
|
Jeż, Artur
|
|
2014
|
237 |
C |
p. 56-94
39 p.
|
article
|
| 5 |
Constant-time sorting
|
Brand, Michael
|
|
2014
|
237 |
C |
p. 142-150
9 p.
|
article
|
| 6 |
Correctness kernels of abstract interpretations
|
Giacobazzi, Roberto
|
|
2014
|
237 |
C |
p. 187-203
17 p.
|
article
|
| 7 |
Editorial Board
|
|
|
2014
|
237 |
C |
p. i-
1 p.
|
article
|
| 8 |
Editorial Board
|
|
|
2014
|
237 |
C |
p. IFC-
1 p.
|
article
|
| 9 |
Finding the gapped longest common subsequence by incremental suffix maximum queries
|
Peng, Yung-Hsing
|
|
2014
|
237 |
C |
p. 95-100
6 p.
|
article
|
| 10 |
Formative processes with applications to the decision problem in set theory: II. Powerset and singleton operators, finiteness predicate
|
Cantone, Domenico
|
|
2014
|
237 |
C |
p. 215-242
28 p.
|
article
|
| 11 |
Generalised entropies and asymptotic complexities of languages
|
Kalnishkan, Yuri
|
|
2014
|
237 |
C |
p. 101-141
41 p.
|
article
|
| 12 |
Language equivalence of probabilistic pushdown automata
|
Forejt, Vojtěch
|
|
2014
|
237 |
C |
p. 1-11
11 p.
|
article
|
| 13 |
Markov Automata: Deciding weak bisimulation by means of non-naïvely vanishing states
|
Schuster, Johann
|
|
2014
|
237 |
C |
p. 151-173
23 p.
|
article
|
| 14 |
Oblivious two-way finite automata: Decidability and complexity
|
Kutrib, Martin
|
|
2014
|
237 |
C |
p. 294-302
9 p.
|
article
|
| 15 |
Removing nondeterminism in constant height pushdown automata
|
Bednárová, Zuzana
|
|
2014
|
237 |
C |
p. 257-267
11 p.
|
article
|
| 16 |
The freeness problem over matrix semigroups and bounded languages
|
Charlier, Émilie
|
|
2014
|
237 |
C |
p. 243-256
14 p.
|
article
|
| 17 |
Things that can be made into themselves
|
Stephan, Frank
|
|
2014
|
237 |
C |
p. 174-186
13 p.
|
article
|
Journal description