Home
 
  • Journals
  • Seminars
  • Books
  • Lecture notes
  • Theses
  • Authors
  • Journals
  • Seminars
  • Books
  • Lecture notes
  • Theses
  • Authors
  • All
  • Author
  • Title
  • References
  • Keywords
  • Full text
NOT
Between and
  • All
  • Author
  • Title
  • Date
  • References
  • Keywords
  • Full text
  • RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
  • Volume 37 (2003)
  • no. 4

Table of contents

Preface
Ésik, Zoltán; Ingólfsdóttir, Anna
p. i
Traced premonoidal categories
Benton, Nick; Hyland, Martin
p. 273-299
Solving algebraic equations using coalgebra
Marchi, Federico De; Ghani, Neil; Lüth, Christoph
p. 301-314
Generalizing substitution
Uustalu, Tarmo
p. 315-336
Domain mu-calculus
Zhang, Guo-Qiang
p. 337-364
On global induction mechanisms in a μ-calculus with explicit approximations
Sprenger, Christoph; Dam, Mads
p. 365-391
  • About
  • Help
  • Legal notice
  • Contact
 

Published by

 

Supported by

 
 

Partner of