s'authentifier
version française rss feed

hal-00512377, version 1

FICS 2010

Dale Miller 1, Arnaud Carayol 2, Panos Rondogiannis 3, Lars Birkedal 4, Marek Czarnecki 5, Hervé Grall 67, Paul Levy 8, Matteo Mio 9, Keiko Nakata 10, Andrei Romashchenko 11, Jan Schwinghammer 12, Kristian Støvring 4, Tarmo Uustalu 10, Pawel Waszkiewicz 13

7th Workshop on Fixed Points in Computer Science, FICS 2010 (2010) 89

Résumé : Informal proceedings of the 7th workshop on Fixed Points in Computer Science (FICS 2010), held in Brno, 21-22 August 2010

  • Domaine : Informatique/Logique en informatique
    Informatique/Langage de programmation
    Informatique/Théorie et langage formel
    Informatique/Informatique et théorie des jeux
  • Mots-clés : Fixed points – mu-calculi
 
  • hal-00512377, version 1
  • oai:hal.archives-ouvertes.fr:hal-00512377
  • Contributeur : 
  • Soumis le : Lundi 30 Août 2010, 11:32:01
  • Dernière modification le : Mardi 6 Décembre 2011, 11:05:09
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...
tous les articles de la base du CCSd...