If you made any changes in Pure these will be visible here soon.

Fingerprint Dive into the research topics where Clemens Kupke is active. These topic labels come from the works of this person. Together they form a unique fingerprint.

Mathematics

Logic
Modal Logic
Fixpoint
Game
μ-calculus
Automata
Automata Theory
Coalgebra
Functor
Parity
Tableaux
Completeness
Model Theory
Modality
Reasoning
Probabilistic Logic
Cover
Coalitions
Specification
Differential equation
Tableau
Bisimulation
Pullback
Boolean algebra
Classical Logic
Computer Science
Operator
Model
Monotone
Equivalence
Stone Space
Economics
Infinite Games
Decidability
Upper bound
Compositionality
Simple Game
Caching
Calculus
Game Theory

Engineering & Materials Science

Semantics
Computability and decidability
Game theory
Automata theory
Boolean algebra
Ontology
Differential equations
Probability distributions
Learning algorithms
Computer science
Acoustic waves
Concretes
Specifications
Algebra
Finite automata
Syntactics
Economics
Polynomials
Atoms
Chemical analysis
Diamonds