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 39 (2005)
no. 3
Sommaire
Foreword
Walukiewicz, I.
p. 421-422
Denotational aspects of untyped normalization by evaluation
Filinski, Andrzej
;
Rohde, Henning Korsholm
p. 423-453
Distance desert automata and the star height problem
Kirsten, Daniel
p. 455-509
Adhesive and quasiadhesive categories
Lack, Stephen
;
Sobociński, Paweł
p. 511-545
Polynomials over the reals in proofs of termination : from theory to practice
Lucas, Salvador
p. 547-586
Bisimulation on speed : lower time bounds
Lüttgen, Gerald
;
Vogler, Walter
p. 587-618