School of Computer Science and Information Systems
Dr Szabolcs Mikulas
/
Research
/ Colleagues and Co-authors
List of Publications
Colleagues
and Co-authors
Theorem - Provers
Permutation Model
Computer systems
Logic
James Bailey
Ivo Duentsch
Robin Hirsch
Ian Hodkinson
Agnes Kurucz
Maarten Marx
Alex Poulovassilis
Mark Reynolds
Yde Venema
Algebraic Logic Group at the Mathematical Institute of the Hungarian Academy of Sciences