Le moteur de recherche
des thèses françaises
Michel Bidoit
IdRefMots clés
FR
Spécifications algébriques
Sémantique opérationnelle
Langage de spécification
Bibliothèque de spécification
Environnement de spécification
Réécriture de termes
E,R-algèbres
Asspegique
Algèbre
Commutation, Théorie de la
Théorie de la démonstration
Induction (logique)
Langages de programmation
Récurrence
Constructeurs
Complétude suffisante
Système de réécriture conditionnel simplifiant
Spécification algébrique conditionnelle
Réécriture, Systèmes de (informatique)
Génération d'interfaces