Cyclic Proofs for Transfinite Expressions.

Emile Hazard Denis Kuperberg

Published in: CSL (2022)

Keyphrases

natural language
theorem proving
facial expressions
theorem prover
computer vision
real time
web pages
formal proof
equational theories
database
databases
search engine
multiscale
multi agent
user interface
rewrite rules