Eugeniusz-Adam Cichon
IdRefMots clés
FR
Réécriture, Systèmes de (informatique)
Théorie de la démonstration
Commutation, Théorie de la
Induction (logique)
Complexité de calcul (informatique)
Déduction modulo
Récurrence noethérienne
Processeurs à hautes performances
Algorithmes optimaux
Edition collaborative
Traitement réparti
Algèbre linéaire
Édition collaborative
Réécriture
Normalisation
Lambda calcul
Méthode de calcul
Théorie preuve
Logique
Calcul séquent