Person

Richard Wilke

M. Sc. RWTH

Doctoral researcher

Computer Science Departement, RTG UnRAVeL

Address

Department of Computer Science
Erweiterungsbau 3, Room 9218
Ahornstrasse 55
52074 Aachen
 

Contact

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

Office Hours

nach Vereinbarung
 

Publications related to UnRAVeL

Source Author(s)
[Contribution to a conference proceedings]
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