Grandjean, Étienne
![Sudoc [ABES], France](/viaf/images/flags/SUDOC.png "Sudoc [ABES], France")
Grandjean, Étienne, informaticien
VIAF ID: 225091464 (Personal)
Permalink: http://viaf.org/viaf/225091464
Preferred Forms
-
100 1 _ ‡a Grandjean, Etienne
-
100 1 _
‡a
Grandjean, Etienne
-
100 1 _
‡a
Grandjean, Étienne
-
100 1 _ ‡a Grandjean, Étienne, ‡c informaticien
Works
| Title | Sources |
|---|---|
| About enumeration : complexity in propositional and first-order logic. |
|
| Acquisition de connaissances et raisonnement en logique propositionnelle |
|
| Algorithms and complexity of enumeration problems for evaluating logical queries. |
|
| Automates Cellulaires : aspects algorithmiqued des configurations périodiques en toute dimension |
|
| Bornes inférieures et supérieures dans les circuits arithmétiques |
|
| BORNES INFERIEURES NON TRIVIALES POUR DES PROBLEMES NATURELS NP-COMPLETS EN THEORIE DES GRAPHES ET DES AUTOMATES |
|
| Characterisation and programming in language theory and in logic of effective complexity classes of cellular automatons. |
|
| CHARACTERIZATION OF NP-COMPLETE PROBLEMS: ROBUSTNESS AND NORMALIZATION. |
|
| Computer science logic, 1999: |
|
| Digital Watermarking for Geographical Documents and Generalization to Constrained Documents. |
|
| Énumération des requêtes et graphes nulle-part dense. |
|
| Extraction de connaissances dans les bases de données comportant des valeurs manquantes ou un grand nombre d'attributs |
|
| G-graphes et les graphes d’expansion. |
|
| G-graphs and Expander graphs |
|
| GENERATION A DELAI POLYNOMIAL POUR LE PROBLEME SAT |
|
| HIERARCHIES FOR SECOND-ORDER LOGICAL DEFINABILITY. |
|
| De la pertinence de l’énumération : complexité en logiques |
|
| Logique des structures finies et complexité algorithmique |
|
| NON TRIVIAL LOWER BOUNDS FOR SOME NP-COMPLETE PROBLEMS ON DIRECTED GRAPHS AND AUT OMATONS. |
|
| On the expressive power of invariant logics over sparse classes of structures |
|
| PROBABILITES ASYMPTOTIQUES ET POUVOIR D'EXPRESSION DES FRAGMENTS DE LA LOGIQUE DU SECOND ORDRE |
|
| Problèmes de satisfaction de contraintes : une étude logique et combinatoire |
|
| Query enumeration and nowhere dense graphs |
|
| Réductions fines entre problèmes NP-complets : linéarité, planarité, parcimonie, et minimalité logique |
|
| Sur le pouvoir d'expression des logiques définies par invariance. |
|
| Tatouage de données géographiques et généralisation aux données devant préserver des contraintes |
|
| Upper and lower bounds for arithmetic circuits. |
|
| Wohnphysiologie : Grundlagen gesunden Wohnens |
|
