Proof Verification within Set Theory.

Eugenio G. Omodeo

Published in: CILC (2013)

Keyphrases

graphical models
set theory
model checker
first order logic
fuzzy set theory
partial order
theorem prover
rough sets
mathematical morphology
fuzzy sets
rough set theory
model checking
real time
formal verification
probability theory
algebraic geometry
expert systems
neural network
co occurrence
information retrieval