Get my own profile
Public access
View all45 articles
2 articles
available
not available
Based on funding mandates
Co-authors
Michael ZakharyaschevBirkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Carsten LutzProfessor of Computer Science, University of LeipzigVerified email at informatik.uni-leipzig.de
Roman KontchakovReader, Birkbeck, University of LondonVerified email at dcs.bbk.ac.uk
Boris KonevProfessor of Computer Science, Liverpool UniversityVerified email at liverpool.ac.uk
Alessandro ArtaleAssociate Professor of Computer Science, Free University of Bozen-BolzanoVerified email at inf.unibz.it
Vladislav RyzhikovLecturer In Computer Science, Birkbeck, Univ. of LondonVerified email at dcs.bbk.ac.uk
Franz BaaderProfessor of Theoretical Computer Science, TU Dresden, and SCADS.AI Dresden/LeipzigVerified email at tu-dresden.de
Uli SattlerProfessor, IMG, Department of Computer Science, University of ManchesterVerified email at cs.man.ac.uk
Oliver KutzFree University of Bozen-BolzanoVerified email at unibz.it
David TomanProfessor of Computer Science, University of WaterlooVerified email at uwaterloo.ca
David GabelaiaResearcher, Razmadze Mathematical InstituteVerified email at rmi.ge
Elena BotoevaUniversity of KentVerified email at kent.ac.uk
Patrick BlackburnProfessor of Philosophy, Roskilde University, DenmarkVerified email at ruc.dk
Ana OzakiUniversity of Oslo & University of BergenVerified email at uib.no
Dmitry TishkovskyResearch Fellow, School of Computer Science, University of ManchesterVerified email at manchester.ac.uk
silvio ghilardiUniversità degli Studi di MilanoVerified email at unimi.it
André HernichUniversity of LiverpoolVerified email at liverpool.ac.uk
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
Enrico FranconiProfessor of Computer Science, KRDB, Free University of Bozen-BolzanoVerified email at inf.unibz.it
Follow
Frank Wolter
Department of Computer Science, University of Liverpool
Verified email at liverpool.ac.uk