Réécriture pour la programmation et la preuve

Perfilado de sección

• Seleccionar sección General

  Colapsar Expandir

  General

  Colapsar todo Expandir todo

  • Seleccionar actividad Forum des nouvelles

    

    Forum des nouvelles Foro
  • Seleccionar actividad Practical exam

    

    Practical exam Archivo
• Seleccionar sección Term Rewriting Systems

  Colapsar Expandir

  Term Rewriting Systems

  • Seleccionar actividad Introduction

    

    Introduction Archivo
  • Seleccionar actividad Definitions

    

    Definitions Archivo
  • Seleccionar actividad Termination

    

    Termination Archivo
  • Seleccionar actividad Confluence

    

    Confluence Archivo
  • Seleccionar actividad Lambda calculus (Serguei Lenglet)

    

    Lambda calculus (Serguei Lenglet) Archivo
  • Seleccionar actividad Rewriting Solving Proving

    

    Rewriting Solving Proving Archivo
• Seleccionar sección XML documents transformations

  Colapsar Expandir

  XML documents transformations

  • Seleccionar actividad Introduction to XPath et XSLT

    

    Introduction to XPath et XSLT Archivo
  • Seleccionar actividad Exercices XSLT

    

    Exercices XSLT Archivo
  • Seleccionar actividad personnes.xml

    

    personnes.xml Archivo
  • Seleccionar actividad pingouins.xml

    

    pingouins.xml Archivo
  • Seleccionar actividad livres.xml

    

    livres.xml Archivo
  • Seleccionar actividad blagues.xml

    

    blagues.xml Archivo
  • Seleccionar actividad Simplest XSLT file

    

    Simplest XSLT file Archivo
• Seleccionar sección Lab exercise

  Colapsar Expandir

  Lab exercise

  • Seleccionar actividad Exercise

    

    Exercise Archivo
  • Seleccionar actividad Files

    

    Files Carpeta