Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
OFF
Revues
Séminaires
Livres
Notes de cours
Thèses
Auteurs
Tout
Tout
Auteur
Titre
Bibliographie
Mots clés
Plein texte
Rechercher
NOT
Entre
et
Auteur
Tout
Auteur
Titre
Date
Bibliographie
Mots clés
Plein texte
RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
Tome 45 (2011)
no. 1
Sommaire
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