Get my own profile
Co-authors
Michael ZakharyaschevBirkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Carsten LutzProfessor of Computer Science, University of BremenVerified email at uni-bremen.de
Roman KontchakovSenior Lecturer, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Boris KonevProfessor of Computer Science, Liverpool UniversityVerified email at liverpool.ac.uk
Franz BaaderProfessor of Theoretical Computer Science, TU DresdenVerified email at tu-dresden.de
Alessandro ArtaleAssociate Professor of Computer Science, Free University of Bozen-BolzanoVerified email at inf.unibz.it
Uli SattlerProfessor, IMG, Department of Computer Science, University of ManchesterVerified email at cs.man.ac.uk
Vladislav RyzhikovLecturer In Computer Science, Birkbeck, Univ. of LondonVerified email at dcs.bbk.ac.uk
David TomanProfessor of Computer Science, University of WaterlooVerified email at uwaterloo.ca
Oliver KutzFree University of Bozen-BolzanoVerified email at unibz.it
David GabelaiaResearcher, Razmadze Mathematical InstituteVerified email at rmi.ge
Elena BotoevaImperial College LondonVerified email at imperial.ac.uk
Patrick BlackburnProfessor of Philosophy, Roskilde University, DenmarkVerified email at ruc.dk
Enrico FranconiProfessor of Computer Science, KRDB, Free University of Bozen-BolzanoVerified email at inf.unibz.it
Dmitry TishkovskyResearch Fellow, School of Computer Science, University of ManchesterVerified email at manchester.ac.uk
André HernichUniversity of LiverpoolVerified email at liverpool.ac.uk
silvio ghilardiUniversità degli Studi di MilanoVerified email at unimi.it
Thomas SchneiderDept. of Mathematics and Computer Science, University of Bremen, GermanyVerified email at uni-bremen.de
Michael WooldridgeUniversity of OxfordVerified email at cs.ox.ac.uk
Ian Pratt-HartmannSchool of Computer Science, University of ManchesterVerified email at cs.man.ac.uk

Frank Wolter
Department of Computer Science, University of Liverpool
Verified email at liverpool.ac.uk