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