Set-based analysis for logic programming and tree automata - Archive ouverte HAL Accéder directement au contenu
Communication Dans Un Congrès Année : 1997

Set-based analysis for logic programming and tree automata

J. Talbot
  • Fonction : Auteur
Occultation Section [Wellington]
S. Tison
P. Devienne

Domaines

Informatique [cs]

Sophie Tison  : Connectez-vous pour contacter le contributeur

https://hal.science/hal-02193771

Soumis le : mercredi 24 juillet 2019-17:16:36

Dernière modification le : lundi 11 mars 2024-15:12:55

Fichier non déposé

Dates et versions

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

Identifiants

  • HAL Id : hal-02193771 , version 1

Citer

J. Talbot, S. Tison, P. Devienne. Set-based analysis for logic programming and tree automata. Static Analysis, 4th International Symposium, SAS '97, 1997, Paris, France. pp.127-140. ⟨hal-02193771⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite
10 Consultations
0 Téléchargements

Partager

Gmail Facebook X LinkedIn More