Equality and disequality constraints on direct subterms in tree automata - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1992

Equality and disequality constraints on direct subterms in tree automata

B. Bogaert
  • Fonction : Auteur
S. Tison
Fichier non déposé

Dates et versions

hal-02193917 , version 1 (24-07-2019)

Identifiants

  • HAL Id : hal-02193917 , version 1

Citer

B. Bogaert, S. Tison. Equality and disequality constraints on direct subterms in tree automata. STACS 1992, 1992, Cachan, France. pp.159-171. ⟨hal-02193917⟩

Collections

UNIV-LILLE
23 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More