Bruno Courcelle
Œuvres (6)
On the definition of classes of interpretations
On the definition of classes of interpretations
1977
Algorithmes d'équivalence et de réduction à des expressions minimales dans une classe d'équations récursives simples
Algorithmes d'équivalence et de réduction à des expressions minimales dans une classe d'équations récursives simples
1973
Complétude d'un système formel pour prouver l'équivalence de certains schémas récursifs monadiques
Complétude d'un système formel pour prouver l'équivalence de certains schémas récursifs monadiques
1974
Semantics and axiomatics of a simple recursive language
Semantics and axiomatics of a simple recursive language
1974
Recursive schemes, algebraic trees and deterministic languages
Recursive schemes, algebraic trees and deterministic languages
1974
Sur la traduction des schémas récursifs monadiques en schémas itératifs
Sur la traduction des schémas récursifs monadiques en schémas itératifs
1974