Accueil
 
  • Revues
  • Séminaires
  • Livres
  • Thèses
  • Auteurs
  • Revues
  • Séminaires
  • Livres
  • Thèses
  • Auteurs
  • Tout
  • Auteur
  • Titre
  • Bibliographie
  • Plein texte
NOT
Entre et
  • Tout
  • Auteur
  • Titre
  • Date
  • Bibliographie
  • Plein texte
  • RAIRO - Theoretical Informatics and Applications - Informatique Théorique et Applications
  • Tome 47 (2013)
  • no. 1

Sommaire


Preface
Matthes, Ralph ; Uustalu, Tarmo
p. 1-2

On Core XPath with Inflationary Fixed Points
Afanasiev, Loredana ; Cate, Balder Ten
p. 3-23

Strong functors and interleaving fixpoints in game semantics
Clairambault, Pierre
p. 25-68

On characteristic formulae for Event-Recording Automata
Nguena Timo, Omer Landry ; Reynier, Pierre-Alain
p. 69-96

Some results on complexity of μ-calculus evaluation in the black-box model
Parys, Paweł
p. 97-109

A non-uniform finitary relational semantics of system T
Vaux, Lionel
p. 111-132
  • À propos
  • Aide
  • Mentions légales
  • Contact
 

Développé par

 

Soutenu par

 
 

Partenaire de