Login / Signup

Proving with ACL2 the Correctness of Simplicial Sets in the Kenzo System.

Jónathan HerasVico PascualJulio Rubio
Published in: LOPSTR (2010)
Keyphrases
  • real time
  • set theoretic
  • data mining
  • multimedia
  • bayesian networks
  • user interface
  • convex sets