Home
  • Journals
  • Seminars
  • Conferences
  • Books
  • Lecture notes
  • Theses
  • Authors
  • Journals
  • Seminars
  • Conferences
  • Books
  • Lecture notes
  • Theses
  • Authors
Browse issues
  • All
  • Author
  • Title
  • References
  • Full text
Between and
  • All
  • Author
  • Title
  • Date
  • References
  • Keywords
  • Full text
  • Previous
  • RAIRO. Theoretical Informatics and Applications
  • Volume 45 (2011)
  • no. 1
  • Next

Volume 45 (2011) no. 1

Table of contents


ICTCS 09 Foreword
Scientific Committee, The
p. 1-2

Idealized coinductive type systems for imperative object-oriented programs
Ancona, Davide; Lagorio, Giovanni  
p. 3-33

Enumerated type semantics for the calculus of looping sequences
Bioglio, Livio
p. 35-58

Hopcroft's algorithm and tree-like automata
Castiglione, G.; Restivo, A.;   Sciortino, M.
p. 59-75

Consensual languages and matching finite-state computations
Crespi Reghizzi, Stefano;   San Pietro, Pierluigi
p. 77-97

An introduction to quantum annealing
de Falco, Diego; Tamascelli, Dario
p. 99-116

The compositional construction of Markov processes II
de Francesco Albasini, L.; Sabadini, N.; Walters, R. F. C.
p. 117-142

Extending the lambda-calculus with unbind and rebind
Dezani-Ciancaglini, Mariangiola;   Giannini, Paola; Zucca, Elena  
p. 143-162

Strategies to scan pictures with automata based on Wang tiles
Lonati, Violetta; Pradella, Matteo
p. 163-180
  • Accessibility: not compliant
  • About
  • Help
  • Legal notice
  • Contact

Published by

Supported by

 

Partner of