Sign in

Epimorphisms and Acyclic Types in Univalent Mathematics.

Ulrik BuchholtzTom de JongEgbert Rijke
Published in: CoRR (2024)
Keyphrases
  • database
  • computer science
  • np hard
  • data sets
  • real world
  • data mining
  • image processing
  • database systems
  • multi agent systems
  • multiple types
  • computer algebra