Knowledge Tree

researcher / Didier Caucal

Didier Caucal

at_id:

orcid_id:

Disciplines:

Computer sciences

Edit Merge See Links

Directed Thesis:

Réécriture d’arbres de piles et traces de systèmes à compteurs

Grammaires de graphes et langages formels

The structure of orders in the pushdown hierarchy

Synchronisation de grammaires de graphes

Automates infinis, logique et langages

Graphes infinis de présentation finie

Représentations et propriétés de structures infinies

Jeux sur des graphes d'automates à pile et leurs extensions

Familles abstraites de graphes

Les graphes rationnels