Login / Signup
Characterizing intermediate tense logics in terms of Galois connections.
Wojciech Dzik
Jouni Järvinen
Michiro Kondo
Published in:
Log. J. IGPL (2014)
Keyphrases
</>
expressive power
neural network
case study
co occurrence
metadata
formal concept analysis
galois lattices