Mathematics
and Interactions

Thomas Genet

zbMATH link

ISTIC - Université de Rennes 1

• One video
  

  41:58

  published on August 25, 2014

  Towards static analysis of functional programs using term rewriting and tree automata

  By Thomas Genet