Catalogue SUDOC

Copyright © 2023 ABES / OCLCListe des résultats | Notice détaillée | Où trouver ce document ?

rechercher (et)

(Mots du titre)

Langages d'arbres

| 11 résultat(s)

Services

Mon panier / Export

Affiner la recherche

Mot	Type	Compte
langages	Mots du titre	[2305]
arbres	Mots du titre	[5872]
d	Mots du titre	[2191581]

	1.	Langages d'arbres, langages dans les algèbres libres Marchand, Pierre (1945-....) / [Éditeur inconnu] / 1981
	2.	CONTRIBUTION A L'ETUDE DES LANGAGES RECONNAISSABLES D'ARBRES Trad, Hamouda (1958-....) / Atelier national de reproduction des thèses / 1987
	3.	CONTRIBUTION A L'ETUDE DES LANGAGES RECONNAISSABLES D'ARBRES Trad, Hamouda (1958-....) / [s.n.] / 1987
	4.	Langages d'arbres réguliers et algébriques pour la réécriture et la vérification Vuotto-Moan, Julie / Atelier national de reproduction des thèses / 2004
	5.	Langages d'arbres réguliers et algébriques pour la réécriture et la vérification Vuotto-Moan, Julie / [s.n.] / 2004
	6.	On relationship between term rewriting systems and regular tree languages Kucherov, G. A. / Institut National de Recherche en Informatique et en Automatique / [1990]
	7.	Utilisation des langages d'arbres pour la modélisation et la vérification des systèmes à états infinis Pillot, Pierre (1979-....) / Atelier national de reproduction des thèses / 2007
	8.	Utilisation des langages d'arbres pour la modélisation et la vérification des systèmes à états infinis Pillot, Pierre (1979-....) / [CCSD] / 2010
	9.	Utilisation des langages d'arbres pour la modélisation et la vérification des systèmes à états infinis Pillot, Pierre (1979-....) / [s.n.] / 2007
	10.	Sur les ensembles algébriques d'arbres et les langages déterministes : quelques applications à la théorie des schémas de programme Courcelle, Bruno (1949-....) / [s.n.] / 1976