Research needed: theory

ï Proving properties of transformations;

ï Logic: interpretation of theories, higher-order;

ï Language manipulation and adapting;

ï Proof, properties and semantics expression languages;

Diapositive prÈcÈdente

Diapositive suivante

Revenir ý la premiËre diapositive

Afficher la version graphique