Réécriture pour la programmation et la preuve

Abschnittsübersicht

• Abschnitt Allgemeines auswählen

  Einklappen Ausklappen

  Allgemeines

  Alles einklappen Alles aufklappen

  • Aktivität Forum des nouvelles auswählen

    

    Forum des nouvelles
  • Aktivität Practical exam auswählen

    

    Practical exam Datei
• Abschnitt Term Rewriting Systems auswählen

  Einklappen Ausklappen

  Term Rewriting Systems

  • Aktivität Introduction auswählen

    

    Introduction Datei
  • Aktivität Definitions auswählen

    

    Definitions Datei
  • Aktivität Termination auswählen

    

    Termination Datei
  • Aktivität Confluence auswählen

    

    Confluence Datei
  • Aktivität Lambda calculus (Serguei Lenglet) auswählen

    

    Lambda calculus (Serguei Lenglet) Datei
  • Aktivität Rewriting Solving Proving auswählen

    

    Rewriting Solving Proving Datei
• Abschnitt XML documents transformations auswählen

  Einklappen Ausklappen

  XML documents transformations

  • Aktivität Introduction to XPath et XSLT auswählen

    

    Introduction to XPath et XSLT Datei
  • Aktivität Exercices XSLT auswählen

    

    Exercices XSLT Datei
  • Aktivität personnes.xml auswählen

    

    personnes.xml Datei
  • Aktivität pingouins.xml auswählen

    

    pingouins.xml Datei
  • Aktivität livres.xml auswählen

    

    livres.xml Datei
  • Aktivität blagues.xml auswählen

    

    blagues.xml Datei
  • Aktivität Simplest XSLT file auswählen

    

    Simplest XSLT file Datei
• Abschnitt Lab exercise auswählen

  Einklappen Ausklappen

  Lab exercise

  • Aktivität Exercise auswählen

    

    Exercise Datei
  • Aktivität Files auswählen

    

    Files Verzeichnis