Showing 1 - 2 results of 2 for search 'Blanqui, Frédéric', query time: 0.04s Refine Results
  1. 1
    Théorie des types et réécriture
    by Blanqui, Frédéric
    Published 2001
    Get full text
    Get full text
  2. 2
    Terminaison des systèmes de réécriture d'ordre supérieur basée sur la notion de clôture de calculabilité
    by Blanqui, Frédéric
    Published 2012
    Get full text
    Get full text
Search Tools: Get RSS Feed — Email this Search