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 39 (2005)
no. 3
Table of contents
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
