Combining Logic and Algebraic Techniques for Program Verification in Theorema.

Laura Kovács Nikolaj Popov Tudor Jebelean

Published in: ISoLA (2006)

Keyphrases

classical logic
modal logic
algebraic structure
computer algebra
real world
logic programming
real time
data sets
neural network
data mining
website
similarity measure
higher order
combining multiple
probabilistic logic