Login / Signup
On the Logical Strength of Confluence and Normalisation for Cyclic Proofs.
Anupam Das
Published in:
FSCD (2021)
Keyphrases
</>
theorem proving
probabilistic logic
logical properties
mathematical proofs
data sets
logical reasoning
equational theories
database
databases
data mining
multiscale
logical representation