Skip to Main content Skip to Navigation
Conference papers

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
Document type :
Conference papers
Complete list of metadata

https://hal.inria.fr/inria-00436407
Contributor : Lutz Straßburger <>
Submitted on : Thursday, November 26, 2009 - 4:14:47 PM
Last modification on : Thursday, January 7, 2021 - 3:40:14 PM

Identifiers

  • 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. ⟨inria-00436407⟩

Share

Metrics

Record views

264