Réécriture pour la programmation et la preuve

Section outline

• Select section General

  Collapse Expand

  General

  Collapse all Expand all

  • Select activity Forum des nouvelles

    

    Forum des nouvelles
  • Select activity Practical exam

    

    Practical exam File
• Select section Term Rewriting Systems

  Collapse Expand

  Term Rewriting Systems

  • Select activity Introduction

    

    Introduction File
  • Select activity Definitions

    

    Definitions File
  • Select activity Termination

    

    Termination File
  • Select activity Confluence

    

    Confluence File
  • Select activity Lambda calculus (Serguei Lenglet)

    

    Lambda calculus (Serguei Lenglet) File
  • Select activity Rewriting Solving Proving

    

    Rewriting Solving Proving File
• Select section XML documents transformations

  Collapse Expand

  XML documents transformations

  • Select activity Introduction to XPath et XSLT

    

    Introduction to XPath et XSLT File
  • Select activity Exercices XSLT

    

    Exercices XSLT File
  • Select activity personnes.xml

    

    personnes.xml File
  • Select activity pingouins.xml

    

    pingouins.xml File
  • Select activity livres.xml

    

    livres.xml File
  • Select activity blagues.xml

    

    blagues.xml File
  • Select activity Simplest XSLT file

    

    Simplest XSLT file
• Select section Lab exercise

  Collapse Expand

  Lab exercise

  • Select activity Exercise

    

    Exercise File
  • Select activity Files

    

    Files Folder