Complétude d'un système formel pour prouver l'équivalence de certains schémas récursifs monadiques
Connectez-vous pour ajouter ce livre à votre bibliothèque.
Complétude d'un système formel pour prouver l'équivalence de certains schémas récursifs monadiques
Bruno Courcelle, Jean (19..-.... ; informaticien) Vuillemin
Autre
Première publication : 1974