University of Manchester — United Kingdom
Computer Science · Physical Sciences
1h-index6citations1works0.02yr avg
Accepting Students?
No reports yet. Know if this professor is taking students?
Research Topics
Logic, programming, and type systems(1), Logic, Reasoning, and Knowledge(1), Computability, Logic, AI Algorithms(1)
Publications1 total
Electronic Notes in Theoretical Computer Science·2005· 6 citedOpen Access