Login / Signup
About the unification type of K+☐☐⊥.
Philippe Balbiani
Çigdem Gencer
Maryam Rostamigiv
Tinko Tinchev
Published in:
UNIF (2020)
Keyphrases
</>
search algorithm
higher order
viewpoint
database
social networks
information systems
e learning
multi agent systems
computational complexity
object recognition
mobile devices