Réécriture pour la programmation et la preuve

Plan de cours

• Sélectionner la section Généralités

  Replier Déplier

  Généralités

  Tout replier Tout déplier

  • Sélectionner l’activité Forum des nouvelles

    

    Forum des nouvelles
  • Sélectionner l’activité Practical exam

    

    Practical exam Fichier
• Sélectionner la section Term Rewriting Systems

  Replier Déplier

  Term Rewriting Systems

  • Sélectionner l’activité Introduction

    

    Introduction Fichier
  • Sélectionner l’activité Definitions

    

    Definitions Fichier
  • Sélectionner l’activité Termination

    

    Termination Fichier
  • Sélectionner l’activité Confluence

    

    Confluence Fichier
  • Sélectionner l’activité Lambda calculus (Serguei Lenglet)

    

    Lambda calculus (Serguei Lenglet) Fichier
  • Sélectionner l’activité Rewriting Solving Proving

    

    Rewriting Solving Proving Fichier
• Sélectionner la section XML documents transformations

  Replier Déplier

  XML documents transformations

  • Sélectionner l’activité Introduction to XPath et XSLT

    

    Introduction to XPath et XSLT Fichier
  • Sélectionner l’activité Exercices XSLT

    

    Exercices XSLT Fichier
  • Sélectionner l’activité personnes.xml

    

    personnes.xml Fichier
  • Sélectionner l’activité pingouins.xml

    

    pingouins.xml Fichier
  • Sélectionner l’activité livres.xml

    

    livres.xml Fichier
  • Sélectionner l’activité blagues.xml

    

    blagues.xml Fichier
  • Sélectionner l’activité Simplest XSLT file

    

    Simplest XSLT file Fichier
• Sélectionner la section Lab exercise

  Replier Déplier

  Lab exercise

  • Sélectionner l’activité Exercise

    

    Exercise Fichier
  • Sélectionner l’activité Files

    

    Files Dossier