Login / Signup
The New Normal: We Cannot Eliminate Cuts in Coinductive Calculi, But We Can Explore Them.
Ekaterina Komendantskaya
Dmitry Rozplokhas
Henning Basold
Published in:
Theory Pract. Log. Program. (2020)
Keyphrases
</>
machine learning
information retrieval
computer vision
information systems
data structure
expert systems
spatial relations