Computer Science – Logic in Computer Science
Scientist
Computer Science
Logic in Computer Science
Scientist
Imperial College London
Coalgebraic Automata Theory: Basic Results
EXPTIME Tableaux for the Coalgebraic mu-Calculus
Neighbourhood Structures: Bisimilarity and Basic Model Theory
No associations
LandOfFree
Clemens Kupke does not yet have a rating. At this time, there are no reviews or comments for this scientist.
If you have personal experience with Clemens Kupke, we encourage you to share that experience with our LandOfFree.com community. Your opinion is very important and Clemens Kupke will most certainly appreciate the feedback.
Profile ID: LFWR-SCP-P-150014