Ioanna Dimitriou und Logic - Info zur Person

(1 - 16 von 22

)

2016: Logic and Set Theory: Ioanna Dimitriou | School of Mathematics...

www.bristol.ac.uk

Ioanna Dimitriou, University of Bonn. Howard House 4th floor seminar room. Last semester in the mathematical logic group of Bonn, Peter ...

Ioanna Matilde Dimitr ou Rheinische Friedrich-Wilhelms-Universit …

www.math.uni-bonn.de

webIoanna Matilde Dimitr ou Rheinische Friedrich-Wilhelms-Universit at Bonn, Germany dimitri [at] math.uni-bnn.de I am a PhD student at the Logic group of Bonn, under the …

ioannad (Ioanna M Dimitriou H) · GitHub

github.com

logician programmer, igalian. ioannad has 23 repositories available. Follow their code on GitHub.

Bonn Mathematical Logic Group: Peter Koepke

www.math.uni-bonn.de

Prof. Dr. Peter Koepke Recent Preprints (published and unpublished) In the Publication Process (with Arthur Apter and Ioanna Dimitriou) The first measurable cardinal can be the first uncountable regular cardinal at any successor height. 12 pages.

Logic Colloquium 2007: Contributed Talk Schedule

people.math.wisc.edu

Back and Forth Between Kripke Structures, Ioanna Dimitriou (Bonn): Equiconsistency of Choiceless Higher Chang Conjectures with One Erdős Cardinal, Steffen ...

Ioanna DIMITRIOU | Logician Programmer | Dr.rer.nat.ResearchGate

www.researchgate.net

Ioanna Dimitriou. Igalia SL · Compilers Team. Dr.rer.nat. Ioanna Dimitriou. Igalia SL · Compilers Team. Dr.rer.nat.

Features: Perspectives on a Key Notion in Linguisticsgoogle.de

books.google.de

... Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx, and Maarten de Rijke (2005). 'PDL for ordered trees', Journal of Applied Non-Classical Logic

Handbook of Modal Logic - Google Books

books.google.de

BIBLIOGRAPHY [1] Loredana Afanasiev, Patrick Blackburn, Ioanna Dimitriou, Bertrand Gaiffe, Evan Goris, Maarten Marx, and Maarten de Rijke. PDL for ordered ...

Mathematical Logic at the University of Bonn

www.math.uni-bonn.de

... Hs. und Fr Uhr, Gr. Hs. Übungsgruppe 1: Mi Uhr, SR F (Michael Klein) Übungsgruppe 2: Di Uhr, SR D (Ioanna Dimitriou) ...

Formalising a FOL Set Theory in Isabelle in a Textbook ...YouTube · FOMUS + Aufrufe · vor 7 Jahren

www.youtube.com

Isabelle/HOL, in a Textbook Fashion by Ioanna Dimitriou (University of Bonn, Germany) Abstract: Isabelle/HOL is classical Higher Order Logic ...

Logic and Philosophy of Science SeminarDepartment of Logic

lps.elte.hu

— In 2011, Ioanna Dimitriou constructed a symmetric extension in her Ph.D. thesis. She conjectured that DC might fail in that model. We prove — In 2011, Ioanna Dimitriou constructed a symmetric extension in her Ph.D. thesis. She conjectured that DC might fail in that model. We prove ...

Maarten Marx
Rebecca Taylor
Georg Heyne

Personen
Vorname "Ioanna" (418)
Name "Dimitriou" (170)

sortiert nach Relevanz / Datum

Erweiterte Suche

Person-Suchen: A B C D E F G H I J K L M N O P Q R S T U V W X Y Z

Ioanna Dimitriou und Logic Person-Info

2016: Logic and Set Theory: Ioanna Dimitriou | School of Mathematics...

Ioanna Matilde Dimitr ou Rheinische Friedrich-Wilhelms-Universit …

ioannad (Ioanna M Dimitriou H) · GitHub

Bonn Mathematical Logic Group: Peter Koepke

Logic Colloquium 2007: Contributed Talk Schedule

Ioanna DIMITRIOU | Logician Programmer | Dr.rer.nat.ResearchGate

Features: Perspectives on a Key Notion in Linguisticsgoogle.de

Handbook of Modal Logic - Google Books

Mathematical Logic at the University of Bonn

Formalising a FOL Set Theory in Isabelle in a Textbook ...YouTube · FOMUS + Aufrufe · vor 7 Jahren

Logic and Philosophy of Science SeminarDepartment of Logic

Ioanna M. Dimitriou H. · GitLab

Leeds Logic Seminar

PDL for ordered trees - Hal-Inria

PDL for ordered trees - Archive ouverte HAL

Logic Tea

Alle Infos zum Namen "Ioanna Dimitriou"