Login / Signup

The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them.

Ekaterina KomendantskayaDmitry RozplokhasHenning Basold
Published in: Theory Pract. Log. Program. (2020)
Keyphrases
  • machine learning
  • information retrieval
  • computer vision
  • information systems
  • data structure
  • expert systems
  • spatial relations