SPECIAL ISSUE:
Special Issue: Selected Papers of the Conference ''International Colloquium on Automata, Languages and Programming 2008''
Reykjavik - Iceland, 2008



Preface
Giuseppe Castagna and Igor Walukiewicz


A Theory of Explicit Substitutions with Safe and Full Composition
Delia Kesner


A Type System For Call-By-Name Exceptions
Sylvain Lebresne


Weighted Logics for Nested Words and Algebraic Formal Power Series
Christian Mathissen


On the Sets of Real Numbers Recognized by Finite Automata in Multiple Bases
Bernard Boigelot, Julien Brusten and Véronique Bruyère


Tree Languages Defined in First-Order Logic with One Quantifier Alternation
Mikolaj Bojanczyk and Luc Segoufin



DOI: 10.2168/LMCS-ICALP:2008

Creative Commons