Login / Signup
Undecidability of Equality for Codata Types.
Ulrich Berger
Anton Setzer
Published in:
CMCS (2018)
Keyphrases
</>
search algorithm
data structure
data sets
neural network
artificial intelligence
decision trees
information technology
description logics