Sign in

Formalization of functional variation in HOL Light.

Jingzhi ZhangGuohui WangZhiping ShiYong GuanYongdong Li
Published in: J. Log. Algebraic Methods Program. (2019)
Keyphrases
  • knowledge representation
  • theorem prover
  • theorem proving
  • formal methods
  • natural deduction
  • real time
  • social networks
  • functional analysis
  • higher order logic