Journals
Seminars
Books
Lecture notes
Theses
Authors
OFF
Journals
Seminars
Books
Lecture notes
Theses
Authors
All
All
Author
Title
References
Keywords
Full text
Search
NOT
Between
and
Author
All
Author
Title
Date
References
Keywords
Full text
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
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
