Human edited web directory based on the DMOZ data. To find out more about this project please use the top main menu.
Subcategories 1
Related categories 2
Sites 9
- Thème Logique Thème de recherche en logique mathématique de l'Institut Camille Jordan (Université Lyon I): théorie des modèles et complexité algébrique, en rapport avec la théorie des groupes et la géométrie.
- Logique de la Programmation Équipe de recherche de l'Institut de Mathématiques de Luminy.
- Équipe de Logique Mathématique Groupe de recherches à l'institut de mathématiques de l'université de Freiburg.
- Laboratoire d'algorithmique, complexité et logique Laboratoire du CNRS au département d'informatique de l'Université Paris 12.
- Équipe de logique mathématique Etude de la théorie des modèles, de la théorie des ensembles, et des applications à l'informatique. Université Paris 7, CNRS - UMR 7056.
- Logique mathématique Recherches en théories des ensembles alternatives, théorie des modèles et informatique théorique, à l'Université Libre de Bruxelles.
- Equipe Modèles de Calcul et de Complexité Les différents thèmes de cette équipe du laboratoire d'informatique de l'ENS Lyon concernent l'étude de la notion d'algorithme et la conception de nouveaux algorithmes. Lyon, France.
- Équipe Plume Cette équipe du laboratoire d'informatique de l'ENS Lyon s'intéresse à la preuve formelle et la sémantique. Analyse théorique des formalismes et mise en oeuvre de méthodes formelles (déduction automatique, spécification et vérification). Lyon, France.
- Centre national de recherches de Logique Organisation visant à réaliser, susciter et coordonner la recherche en logique, tant philosophique que mathématique, dans les différentes institutions universitaires belges.