A Kleene Theorem for Forest Languages

Lutz Straßburger 1, 2
2 PARSIFAL - Proof search and reasoning with logic specifications
LIX - Laboratoire d'informatique de l'École polytechnique [Palaiseau], Inria Saclay - Ile de France, X - École polytechnique, CNRS - Centre National de la Recherche Scientifique : UMR7161
Type de document :
Communication dans un congrès
Language and Automata Theory and Applications, LATA'09, 2009, Tarragona, Spain. 2009
Liste complète des métadonnées

https://hal.inria.fr/inria-00436407
Contributeur : Lutz Straßburger <>
Soumis le : jeudi 26 novembre 2009 - 16:14:47
Dernière modification le : jeudi 10 mai 2018 - 02:06:45

Identifiants

  • HAL Id : inria-00436407, version 1

Collections

Citation

Lutz Straßburger. A Kleene Theorem for Forest Languages. Language and Automata Theory and Applications, LATA'09, 2009, Tarragona, Spain. 2009. 〈inria-00436407〉

Partager

Métriques

Consultations de la notice

193