Login / Signup
Formalizing Implicative Algebras in Coq.
Étienne Miquey
Published in:
ITP (2018)
Keyphrases
</>
formal methods
theorem prover
distributive lattices
clifford algebra
spatial reasoning
topological spaces
three dimensional
temporal reasoning
data sets
information retrieval
information systems
multimedia
decision trees
bayesian networks
boolean algebra
relation algebra