Doumane, Amina, 1990-...., informaticienne théoricienne
أمينة دومان عالمة حاسوب مغربية
VIAF ID: 96157100642072740002 ( Personal )
Permalink: http://viaf.org/viaf/96157100642072740002
Preferred Forms
4xx's: Alternate Name Forms (7)
5xx's: Related Names (1)
- 511 2 _ ‡a Laboratoire de l'informatique du parallélisme (Lyon)
Works
Title | Sources |
---|---|
Linear logic with the least and greatest fixed points : truth semantics, complexity and a parallel syntax | |
La logique linéaire avec les plus petits et les plus grands points fixes : la sémantique de vérité, la complexité, et une syntaxe parallèle. | |
On the infinitary proof theory of logics with fixed points | |
Théorie de la preuve infinitaire pour les logiques à points fixes. |