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 | ||