- ICJ-AGL - Algèbre, géométrie, logique 286
- ICJ - Institut Camille Jordan 276
- CNRS - CNRS - Centre national de la recherche scientifique 275
- UDL - UDL 275
- UNIV-ST-ETIENNE - Université Jean Monnet - Saint-Etienne 275
- EC-LYON - Ecole Centrale de Lyon 274
- INSA-GROUPE - Groupe INSA 274
- INSA-LYON - Institut National des Sciences Appliquées de Lyon 274
- UNIV-LYON1 - Université Claude Bernard - Lyon I 274
- INSMI - CNRS-INSMI - INstitut des Sciences Mathématiques et de leurs Interactions 269
- ANR - ANR 129
- TDS-MACS - Réseau de recherche en Théorie des Systèmes Distribués, Modélisation, Analyse et Contrôle des Systèmes 17
- UNIV-PARIS7 - Université Denis Diderot - Paris VII 12
- UP-SCIENCES - Université de Paris - Faculté des Sciences 10
- INRIA - INRIA - Institut National de Recherche en Informatique et en Automatique 8
- LABEX-MILYON - Laboratoire d'excellence en Mathématiques et informatique fondamentale de Lyon 8
- SU-SCIENCES - Faculté des Sciences de Sorbonne Université 7
- INRIA2 - INRIA 2 7
- IMJ - Institut de Mathématiques de Jussieu 7
- LACL - Laboratoire d'Algorithmique Complexité et Logique 7
- SORBONNE-UNIVERSITE - Sorbonne Université 7
- UPEC - Université Paris-Est Créteil Val-de-Marne 7
- UGA - HAL Grenoble Alpes 6
- FOURIER - Institut Fourier 6
- IMJ_LOG - Logique 6
- UNIV-PARIS-SACLAY - Université Paris-Saclay 6
- USPC - Université Sorbonne Paris Cité 6
- UNIV-LORRAINE - Université de Lorraine 6
- ENS-LYON - École Normale Supérieure de Lyon 6
- X - Ecole Polytechnique 5
- UPMC - Université Pierre et Marie Curie 5
- X-DEP-INFO - Département d'informatique 4
- IECN - IECL - Institut Elie Cartan de Lorraine 4
- X-LIX - Laboratoire d'informatique de l'X (LIX) 4
- LIX - Laboratoire d'informatique de l'école polytechnique 4
- IECLGEO - Géométrie 3
- IRIF - Institut de Recherche en Informatique Fondamentale 3
- PPS - Laboratoire Preuves, Programmes et Systèmes 3
- INSA-LYON-THESES - Thèses de l'INSA Lyon 3
- UNIV-POITIERS - Université de Poitiers 3
- ACT-R - Act'R 2
- EC_LYON_STRICT - Centrale Lyon - périmètre strict 2
- CHL - Centre Henri Lebesgue 2
- ICJ-CTN - Combinatoire, théorie des nombres 2
- FMPL - Fédération de recherche Mathématiques des Pays de Loire 2
- GS-COMPUTER-SCIENCE - Graduate School Computer Science 2
- GS-MATHEMATIQUES - Graduate School Mathématiques 2
- INSA-LYON-HDR - HDR de l'INSA Lyon 2
- GALILE - Institut Galilée Université Paris 13 2
- ILM - Institut Lumière Matière 2
- IMAG-MONTPELLIER - Institut Montpelliérain Alexander Grothendieck 2
- INSA-TOULOUSE - Institut National des Sciences Appliquées de Toulouse 2
- IP_PARIS - Institut Polytechnique de Paris 2
- IMT - Institut de Mathématiques de Toulouse 2
- I3M_UMR5149 - Institut de Mathématiques et de Modélisation de Montpellier 2
- LAREMA - Laboratoire Angevin de Recherche en Mathématiques 2
- LAGA - Laboratoire d'Analyse, Géométrie et Applications 2
- UMR6620 - Laboratoire de Mathematiques 2
- UNIV-COTEDAZUR - Université Côte d'Azur 2
- UNIV-PARIS-LUMIERES - Université Paris Lumières 2
- UNIV-PARIS8 - Université Paris VIII Vincennes-Saint Denis 2
- UNIV-PARIS13 - Université Paris-Nord - Paris XIII 2
- SORBONNE-PARIS-NORD - Université Sorbonne Paris Nord 2
- UT1-CAPITOLE - Université Toulouse 1 Capitole 2
- UNIV-TLSE2 - Université Toulouse 2 2
- UNIV-UT3 - Université Toulouse 3 2
- UT3-TOULOUSEINP - Université Toulouse III / Toulouse INP 2
- UNIV-ANGERS - Université d'Angers 2
- PRES_CLERMONT - Université de Clermont 2
- UNIV-FCOMTE - Université de Franche-Comté 2
- UNIV-MONTPELLIER - Université de Montpellier 2
- ELM - Équipe de Logique Mathématique 2
- GIPSA-AGPIG - AGPIG 1
- AMIDEX - AMIDEX 1
- UNIV-AMU - Aix Marseille Université 1
- HIPHISCITECH - Archive ouverte en Histoire etPhilosophie des Sciences et des Techniques 1
- LPHSAHP - Archives Henri-Poincaré - Philosophie et Recherches sur les Sciences et les Technologies 1
- LJK-GI-CVGI - Calcul des Variations, Géométrie, Image 1
- CMLS - Centre de Mathématiques Laurent Schwartz 1
- X-CMLS - Centre de mathématiques Laurent Schwartz (CMLS) 1
- VIDEOIF - Collection des vidéos de l'Institut Fourier 1
- CEPAM - Culture et Environnements, Préhistoire, Antiquité, Moyen-Age 1
- LJK_GI - Département Géométrie et Images 1
- GIPSA-DIS - Département Image et Signal 1
- X-DEP-MATH - Département de mathématiques 1
- EC-MARSEILLE - Ecole Centrale de Marseille 1
- ENTPE - Ecole Nationale des Travaux Publics de l'Etat 1
- ENS-CACHAN - Ecole Normale Supérieure de Cachan 1
- ENS-PARIS-SACLAY - Ecole Normale Supérieure paris-Saclay 1
- FEMTO-ST - Franche-Comté Electronique, Mécanique, Thermique et Optique - Sciences et Technologies (UMR 6174) 1
- GEPI - Galaxies, Etoiles, Physique, Instrumentation 1
- GS-ENGINEERING - Graduate School Sciences de l'Ingénierie et des Systèmes 1
- GIPSA - Grenoble Images Parole Signal Automatique 1
- UNIV-PARIS8-OA - HAL UNIV-PARIS8 - open access 1
- INSU - INSU - Institut National des Sciences de l'Univers 1
- INSA-RENNES - Institut National des Sciences Appliquées de Rennes 1
- IMB_UMR5584 - Institut de Mathématiques de Bourgogne 1
- I2M-2014- - Institut de Mathématiques de Marseille 2014- 1
- I2M - Institut de Mathématiques de Marseille 1
- IRMAR - Institut de Recherche Mathématique de Rennes 1
- LAMFA - Laboratoire Amiénois de Mathématique Fondamentale et Appliquée - UMR CNRS 7352 1
- DEEP - Laboratoire DEEP 1
- LDPL - Laboratoire Départemental de Préhistoire du Lazaret 1
- LJK - Laboratoire Jean Kuntzmann 1
- DIEUDONNE - Laboratoire Jean-Alexandre Dieudonné 1
- LBFA - Laboratoire de Bioénergétique Fondamentale et Appliquée 1
- LM-ORSAY - Laboratoire de Mathématiques d'Orsay 1
- LM-VERSAILLES - Laboratoire de Mathématiques de Versailles 1
- LTDS - Laboratoire de Tribologie et Dynamique des Systèmes 1
- MIPS - Mathématiques, Informatique, Physique et Systèmes 1
- ICJ-DRACULA - Multi-scale modelling of cell dynamics: application to hematopoiesis 1
- OBSPM - Observatoire de Paris 1
- UR1-MATH-NUM - Pôle UnivRennes - Mathématiques - Numérique 1
- STAR - STAR - Dépôt national des thèses électroniques 1
- S2HEP - Sciences, société, historicité, éducation et pratiques (S2HEP) - UR 4148 1
- THESES_LYON1 - Thèses Université Claude Bernard Lyon 1 1
- IRMAR-TE - Théorie ergodique 1
- UR1-MATH-STIC - UR1 - publications Maths-STIC 1
- FGES - Université Catholique de Lille - Faculté de Gestion, Economie et Sciences 1
- PSL - Université Paris sciences et lettres 1
- UR2-HB - Université Rennes 2 - Haute Bretagne 1
- UNIV-RENNES2 - Université Rennes 2 1
- UNIV-BOURGOGNE - Université de Bourgogne 1
- UNILIM - Université de Limoges 1
- UNIV-NANTES - Université de Nantes 1
- U-PICARDIE - Université de Picardie Jules Verne 1
- UNIV-RENNES1 - Université de Rennes 1 1
- UNIV-RENNES - Université de Rennes 1
- UNIV-BM - Université de Technologie de Belfort-Montbeliard 1
- UNIV-BM-THESE - Université de Technologie de Belfort-Montbeliard 1
- UVSQ - Université de Versailles Saint-Quentin-en-Yvelines 1
- XLIM - XLIM 1
- PERSYVAL-LAB - [Labex] PERSYVAL-lab 1
- UNAM - l'unam - université nantes angers le mans 1
Algèbre, géométrie, logique
