Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
Department of Computer Science, Manchester University
A Note on the Complexity of the Satisfiability Problem for Graded Modal Logics
Complex Algebras of Arithmetic
Complexity of the Guarded Two-Variable Fragment with Counting Quantifiers
Complexity of the Two-Variable Fragment with (Binary-Coded) Counting Quantifiers
Data-Complexity of the Two-Variable Fragment with Counting Quantifiers
No associations
LandOfFree
Ian Pratt-Hartmann does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Ian Pratt-Hartmann, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Ian Pratt-Hartmann will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-204768