Constructing Infinite Models Represented by Tree Automata

Nicolas Peltier

doi:10.1007/s10472-009-9143-8

Article Dans Une Revue Annals of Mathematics and Artificial Intelligence Année : 2009

Constructing Infinite Models Represented by Tree Automata

(1)

1

Nicolas Peltier

Fonction : Auteur
PersonId : 956
IdHAL : nicolas-peltier
ORCID : 0000-0002-8943-7000
IdRef : 050742876

Calculs algorithmes programmes et preuves

CV

Mots clés

Model building Tree automata Infinite models

Domaines

Logique en informatique [cs.LO]

Nicolas Peltier : Connectez-vous pour contacter le contributeur

https://hal.science/hal-00940621

Soumis le : dimanche 2 février 2014-11:42:13

Dernière modification le : jeudi 4 avril 2024-21:29:51

Dates et versions

hal-00940621 , version 1 (02-02-2014)

Identifiants

HAL Id : hal-00940621 , version 1
DOI : 10.1007/s10472-009-9143-8

Citer

Nicolas Peltier. Constructing Infinite Models Represented by Tree Automata. Annals of Mathematics and Artificial Intelligence, 2009, 56 (1), pp.65-85. ⟨10.1007/s10472-009-9143-8⟩. ⟨hal-00940621⟩

Exporter

BibTeX XML-TEI Dublin Core DC Terms EndNote DataCite

Collections

UGA CNRS LIG LIG_MFML LIG_MFML_CAPP LIG_SIDCH

62 Consultations

0 Téléchargements

Constructing Infinite Models Represented by Tree Automata

Mots clés

Domaines

Dates et versions

Identifiants

Citer

Exporter

Collections

Altmetric

Partager