Functional description of sequence constraints and synthesis of combinatorial objects / Ekaterina Arafailova ; sous la direction de Nicolas Beldiceanu et de Rémi Douence

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Catalogue Worldcat

Programmation par contraintes

Automates

Transducteurs

Expressions rationnelles

Systèmes linéaires invariants

Configurations et schémas combinatoires

Classification Dewey : 004

Beldiceanu, Nicolas (1959-....) (Directeur de thèse / thesis advisor)

Douence, Rémi (Directeur de thèse / thesis advisor)

Jard, Claude (1959-....) (Président du jury de soutenance / praeses)

Milano, Michela (Rapporteur de la thèse / thesis reporter)

Zivny, Stanislav (19..-) (Rapporteur de la thèse / thesis reporter)

Hooker, John N. (1949-....) (Membre du jury / opponent)

École nationale supérieure Mines-Télécom Atlantique Bretagne Pays de la Loire (Organisme de soutenance / degree-grantor)

École doctorale Mathématiques et sciences et technologies de l'information et de la communication (Rennes) (Ecole doctorale associée à la thèse / doctoral school)

Laboratoire des sciences du numérique de Nantes (Laboratoire associé à la thèse / thesis associated laboratory)