Login / Signup
Weak Completeness of Coalgebraic Dynamic Logics.
Helle Hvid Hansen
Clemens Kupke
Published in:
FICS (2015)
Keyphrases
</>
expressive power
databases
dynamic environments
neural network
data mining
decision making
image processing
evolutionary algorithm
fuzzy logic
modal logic