Disciplines
Institutions
Contribute
Search
Add Thesis
Add Researcher
Add Institution
researcher /
Bruno Courcelle
Bruno Courcelle
at_id:
orcid_id:
Disciplines:
Applied sciences
Computer sciences
Mathematics
Natural sciences
Edit
Merge
See Links
Directed Thesis:
Mise au point d'un formalisme syntaxique de haut niveau pour le traitement automatique des langues
Connexité dans les Réseaux et Schémas d’Étiquetage Compact d’Urgence
Graph structurings : some algorithmic applications
Spécifications partielles de dessin de graphe : Étude logique et combinatoire
Validation des transactions dans les bases de données : classes décidables et vérification automatique
Structuration des graphes planaires
Calculs distribués dans les arbres : application au test du mineur
Extension du calcul des constructions par points fixes
Constructions d'algorithmes pour les graphes structurés par des méthodes algébriques et logiques
Une aide interactive à la construction de preuves en logique du premier ordre
Fonctions d'arité variable ou infinie : applications aux systèmes d'équations et aux grammaires d'attributs
Backtracking intelligent en programmation logique : de la théorie à l'implémentation et à l'application au parallélisme
Interprétation abstraite en programmation logique : théorie et application
Un modèle de programmation par objets en SCHEME : application à la synthèse d'images 2D
Grammaires d'arbres attribuées : méthodes de vérification des propriétés de graphes engendrés