Tero Harju, Juhani Karhumäki
Special Issue on Developments in Language Theory — DLT 2007
DLT, 2008.
@proceedings{DLT-J-2007,
editor = "Tero Harju and Juhani Karhumäki",
journal = "{International Journal of Foundations of Computer Science}",
number = 3,
publisher = "{World Scientific}",
title = "{Special Issue on Developments in Language Theory — DLT 2007}",
volume = 19,
year = 2008,
}
Contents (13 items)
- DLT-J-2007-BertoniR08 #approximate #monad
- Approximating the Mean Speedup in Trace Monoids (AB, RR), pp. 497–511.
- DLT-J-2007-DiekertGK08 #finite #first-order #logic #overview #word
- A Survey on Small Fragments of First-Order Logic over Finite Words (VD, PG, MK), pp. 513–548.
- DLT-J-2007-DoyenHR08 #equivalence #markov
- Equivalence of Labeled Markov Chains (LD, TAH, JFR), pp. 549–563.
- DLT-J-2007-Freivalds08 #automaton #finite #probability
- Non-Constructive Methods for Finite Probabilistic Automata (RF), pp. 565–580.
- DLT-J-2007-HanS08 #complexity #finite
- State Complexity of Union and Intersection of Finite Languages (YSH, KS), pp. 581–595.
- DLT-J-2007-Jez08 #boolean grammar
- Conjunctive Grammars Generate Non-Regular Unary Languages (AJ), pp. 597–615.
- DLT-J-2007-JirasekJS08 #automaton #finite #nondeterminism
- Deterministic blow-UPS of Minimal Nondeterministic Finite Automata over a Fixed Alphabet (JJ, GJ, AS), pp. 617–631.
- DLT-J-2007-OchemRS08 #approximate
- Avoiding Approximate Squares (PO, NR, JS), pp. 633–648.
- DLT-J-2007-Selivanov08
- Fine Hierarchy of Regular Aperiodic ω-Languages (VLS), pp. 649–675.
- DLT-J-2007-Tamm08 #automaton #on the
- On Transition Minimality of Bideterministic Automata (HT), pp. 677–690.
- DLT-J-2007-Link08 #database #dependence #multi #on the
- On the Implication of Multivalued Dependencies in Partial Database Relations (SL), pp. 691–715.
- DLT-J-2007-Ravikumar08 #ambiguity #context-free grammar
- The Benford-Newcomb Distribution and Unambiguous Context-Free Languages (BR), pp. 717–727.
- DLT-J-2007-Csuhaj-VarjuPV08
- Tissue-Like P Systems with Dynamically Emerging Requests (ECV, GP, GV), pp. 729–745.