School of Computer Science and Information Systems
Dr Szabolcs Mikulas
/ Research
List of Publications
Colleagues
and Co-authors
Theorem - Provers
Permutation Model
Computer systems
Logic
Research Interests
Algebraic, Modal and Temporal Logic and their application to Computer Science
Universal Algebra
