Towards coherence theorems for equational extensions of type theories.

Rafaël Bocquet

Published in: CoRR (2023)

Keyphrases

equational theories
efficient implementation
horn clauses
information retrieval
artificial intelligence
search engine
decision making
image processing
decision trees
case study
multiscale
description logics
theorem proving