Weil, Pascal
Weil, Pascal, 1960-....
Weil, Pascal, fl. 2007
Pascal Weil Ph.D. University of Nebraska-Lincoln 1988
VIAF ID: 1994018 ( Personal )
Permalink: http://viaf.org/viaf/1994018
Preferred Forms
- 100 0 _ ‡a Pascal Weil ‡c Ph.D. University of Nebraska-Lincoln 1988
-
- 100 1 _ ‡a Weil, Pascal
- 100 1 _ ‡a Weil, Pascal
- 100 1 _ ‡a Weil, Pascal
-
- 100 1 _ ‡a Weil, Pascal ‡d fl. 2007
- 100 1 _ ‡a Weil, Pascal, ‡d 1960-....
-
4xx's: Alternate Name Forms (2)
5xx's: Related Names (2)
Works
Title | Sources |
---|---|
Algebras of Relations : from algorithms to formal proofs | |
Algèbres de relations : des algorithmes aux preuves formelles. | |
Une approche combinatoire du problème de séparation pour les langages réguliers | |
Classification of P-oligomorphic groups, conjectures of Cameron and Macpherson | |
Complexity and Randomness in Group Theory GAGTA BOOK 1 | |
Computer Science - Theory and Applications : 12th International Computer Science Symposium in Russia, CSR 2017, Kazan, Russia, June 8-12, 2017, Proceedings | |
Contribution à l'algorithmique des automates : compléxité et aspects topologiques | |
Decomposition techniques for finite semigroups. | |
Geometric outer automorphisms of free groups : polynomial growth and algorithm. | |
GROUPES LIBRES, AUTOMATES ET COMMUTATION | |
Jeux discrets pour la synthèse et la validation de processus communicants | |
Langages, séries et contrôle de trajectoires | |
L'univers : la Terre, les planètes, les étoiles, les galaxies... | |
L'univers : l'encyclopédie Larousse des 6/9 ans | |
Mealy machines, (semi-)automaton groups, decision problems and random generation. | |
Problèmes d'informatique fondamentale : voyages au pays de l'informatique fondamentale au gré de problèmes de concours : avec 20 figures | |
Produits et décompositions d'automates : applications à la théorie des langages | |
QUELQUES INTERSECTIONS DE VARIETES DE SEMIGROUPES FINIS ET DE VARIETES DE LANGAGES, OPERATIONS IMPLICITES | |
STACS 2007 : 24th Annual Symposium on Theoretical Aspects of Computer Science, Aachen, Germany, February 22-24, 2007 : proceedings | |
STACS 2007, c2007: | |
Synchronous relations and complexity of query evaluation | |
Transformations et grammaires de graphes basées sur l'opération de pullback | |
Univers | |
드넓은 우주 |