Person

Richard Wilke

M. Sc. RWTH

Promotionsstudent

Lehr- und Forschungsgebiet Mathematische Grundlagen der Informatik (Logik und Komplexität)

Adresse

Gebäude: Erweiterungsbau 1

Raum: 4114a

Ahornstr. 55

52074 Aachen

Kontakt

workPhone
Telefon: +49 241 80 21722
Fax: +49 241 80 22215

Sprechstunde

nach Vereinbarung
 

Publikationen im Rahmen von UnRAVeL

Quelle Autor(en)
[Beitrag zu einem Tagungsband]
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics
In: [28th EACSL Annual Conference on Computer Science Logic, CSL2020], 2020
[DOI: 10.4230/LIPICS.CSL.2020.25]
Hoelzel, Matthias
Wilke, Richard
[Preprint]
On the Union Closed Fragment of Existential Second-Order Logic and Logics with Team Semantics, 2019
Hoelzel, Matthias
Wilke, Richard