Quantifiers and duality / Luca Reggio ; sous la direction de Mai Gehrke

Date :

Type : Livre / Book

Type : Thèse / Thesis

Langue / Language : anglais / English

Catalogue Worldcat

Quantificateurs (logique mathématique)

Logique intuitionniste

Espaces compacts

Semi-anneaux (mathématiques)

Gehrke, Mai (1964-...) (Directeur de thèse / thesis advisor)

Abramsky, Samson (1953-....) (Président du jury de soutenance / praeses)

Jung, Achim (Rapporteur de la thèse / thesis reporter)

Jibladze, Mamuka (1958-....) (Rapporteur de la thèse / thesis reporter)

Berger, Clemens (1962-....) (Membre du jury / opponent)

Van Gool, Sam (Membre du jury / opponent)

Melliès, Paul-André (Membre du jury / opponent)

Petrisan, Daniela (19..-....) (Membre du jury / opponent)

Université Sorbonne Paris Cité (Organisme de soutenance / degree-grantor)

École doctorale Sciences mathématiques de Paris centre (Paris ; 2000-....) (Ecole doctorale associée à la thèse / doctoral school)

Université Paris Diderot - Paris 7 (1970-2019) (Autre partenaire associé à la thèse / thesis associated third party)

Institut de recherche en informatique fondamentale (Paris) (Laboratoire associé à la thèse / thesis associated laboratory)