Skip to Main content Skip to Navigation
New interface


...
tel-00351584v1  Theses
Tristan Catelin-Jullien. Brisure de symétries en théorie des supercordes : applications en cosmologie et en physique des particules
Physique mathématique [math-ph]. Université Pierre et Marie Curie - Paris VI, 2008. Français
...
tel-00338687v1  Theses
Rachid Echahed. Sur l'intégration des langages algébriques et logique
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1990. Français
...
tel-02156083v1  Theses
Aoi Shiraishi. Discordances dans l'ellipse périphérique en français
Linguistique. Université Sorbonne Paris Cité, 2018. Français. ⟨NNT : 2018USPCC047⟩
...
tel-00000813v1  Theses
Christophe Grojean. Symétries et brisures de symétries au-delà de la théorie électrofaible
Physique mathématique [math-ph]. Université Paris Sud - Paris XI, 1999. Français
...
tel-00338643v2  Theses
Samuel Mimram. Sémantique des jeux asynchrones et réécriture 2-dimensionnelle
Informatique [cs]. Université Paris-Diderot - Paris VII, 2008. Français
...
tel-03341556v1  Theses
Maryam Rostamigiv. About the type of modal logics for the unification problem
Logic in Computer Science [cs.LO]. Université Toulouse III - Paul Sabatier, 2020. English
...
tel-00319089v1  Theses
Jean-Christophe Ianeselli. Un opérateur d'unification pour une machine base de connaissance PROLOG
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1985. Français
...
tel-00695040v1  Theses
Aurélie Talon. Evaluation des scénarii de dégradation des produits de construction
Génie des procédés. Université Blaise Pascal - Clermont-Ferrand II, 2006. Français
...
tel-00011226v1  Theses
Jonathan Rocher. Contraintes cosmologiques sur la physique de l'univers primordial
Cosmologie et astrophysique extra-galactique [astro-ph.CO]. Université Paris Sud - Paris XI, 2005. Français
...
tel-00011236v1  Theses
Mnacho Echenim. Déduction et Unification dans les Théories Permutatives
Autre [cs.OH]. Institut National Polytechnique de Grenoble - INPG, 2005. Français
...
tel-00001196v1  Theses
P. Vanhove. Au bout de la corde... la theorie M
Physique mathématique [math-ph]. Ecole Polytechnique X, 1998. Français
...
tel-00650924v1  Theses
Sylvain Fichet. Aspects of extra dimensional supersymmetric unified theories
High Energy Physics - Theory [hep-th]. Université de Grenoble, 2011. English. ⟨NNT : 2011GRENY038⟩
...
tel-00005085v1  Theses
Bertrand Delsart. E-unification en demonstration automatique
Interface homme-machine [cs.HC]. Institut National Polytechnique de Grenoble - INPG, 1994. Français
...
pastel-00960808v1  Theses
Pierre Neron. A Quest for Exactness: Program Transformation for Reliable Real Numbers
Logic in Computer Science [cs.LO]. Ecole Polytechnique X, 2013. English
...
tel-00601042v1  Habilitation à diriger des recherches
Volker Beckmann. Unification of Active Galactic Nuclei at X-rays and soft gamma-rays
Astrophysics [astro-ph]. Université Paris-Diderot - Paris VII, 2010
...
tel-00331263v1  Theses
Hubert Comon. Unification et disunification : théorie et applications
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1988. Français
...
tel-00330527v1  Habilitation à diriger des recherches
Gilles Berger Sabbatel. Machines spécialisées et programmation en logique
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1988
...
tel-00578600v1  Habilitation à diriger des recherches
Christophe Ringeissen. Raisonnement équationnel et méthodes de combinaison: de la programmation à la preuve
Génie logiciel [cs.SE]. Université Henri Poincaré - Nancy I, 2009
...
tel-02612985v1  Theses
Guillaume Bury. Integrating rewriting, tableau and superposition into SMT
Automatic Control Engineering. Université Sorbonne Paris Cité, 2019. English. ⟨NNT : 2019USPCC036⟩
...
tel-01832502v1  Theses
Slimane Bellaouar. Noyaux de mots et d’arbres : efficacité et unification
Informatique [cs]. UNIVERSITÉ AMAR TELIDJI-LAGHOUAT, ALGÉRIE, 2018. Français
...
tel-00325827v1  Theses
Olivier Oudot. Utilisation des modes directionnels dans la résolution
Modélisation et simulation. Institut National Polytechnique de Grenoble - INPG, 1987. Français