Cristian Calude
Special Issue on Developments in Language Theory — DLT 2004
DLT, 2005.
@proceedings{DLT-J-2004,
editor = "Cristian Calude",
journal = "{International Journal of Foundations of Computer Science}",
number = 4,
publisher = "{World Scientific}",
title = "{Special Issue on Developments in Language Theory — DLT 2004}",
volume = 16,
year = 2005,
}
Contents (10 items)
- DLT-J-2004-BorchertLSTT05 #polynomial
- The dot-depth and the polynomial hierarchies correspond on the delta levels (BB, KJL, FS, PT, DT), pp. 625–644.
- DLT-J-2004-DassowH05 #problem #product line
- Language families defined by a ciliate bio-operation: hierarchies and decision problems (JD, MH), pp. 645–662.
- DLT-J-2004-Freund05 #array #string
- P Systems working in the sequential mode on arrays and strings (RF), pp. 663–682.
- DLT-J-2004-IbarraYD05 #on the #parallel
- On various notions of parallelism in P Systems (OHI, HCY, ZD), pp. 683–705.
- DLT-J-2004-Lohrey05 #automation #complexity #decidability #monad
- Decidability and complexity in automatic monoids (ML), pp. 707–722.
- DLT-J-2004-Maletti05 #automaton #transducer
- Relating tree series transducers and weighted tree automata (AM), pp. 723–741.
- DLT-J-2004-MuschollW05 #ltl
- An NP-complete fragment of LTL (AM, IW), pp. 743–753.
- DLT-J-2004-Rampersad05 #morphism #word
- Words avoiding 7/3-powers and the thue-morse morphism (NR), pp. 755–766.
- DLT-J-2004-RispalC05 #linear #order #set
- Complementation of rational sets on countable scattered linear orderings (CR, OC), pp. 767–786.
- DLT-J-2004-Staiger05 #infinity
- Infinite Iterated Function Systems in Cantor Space and the Hausdorff Measure of ω-Power Languages (LS), pp. 787–802.