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

Dans cette thèse, nous nous attachons à étudier des classes de graphes infinis et leurs propriétés, Notamment celles de vérification de modèles, d'accessibilité et de langages reconnus.Nous définissons une notion d'arbres de piles ainsi qu'une notion liée de réécriture suffixe, permet...

Ausführliche Beschreibung

Bibliographische Detailangaben

1. Verfasser:	Penelle, Vincent
Format:	Dissertation
Sprache:	fre
Schlagworte:	Arbre de pile Counter systems Decidability Décidabilité Graphes infini Higher-Order Infinite graphs Langage de traces Ordre supérieur Stack tree Systèmes à compteurs Traces
Online-Zugang:	Volltext bestellen
Tags:	Tag hinzufügen Keine Tags, Fügen Sie den ersten Tag hinzu!