Formalization of functional variation in HOL Light.

Jingzhi Zhang Guohui Wang Zhiping Shi Yong Guan Yongdong 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