Login / Signup

Undecidability of Equality for Codata Types.

Ulrich BergerAnton Setzer
Published in: CMCS (2018)
Keyphrases
  • search algorithm
  • data structure
  • data sets
  • neural network
  • artificial intelligence
  • decision trees
  • information technology
  • description logics