Automatic Abstraction of Equations in a Logic of Equality.

Miroslav N. Velev

Published in: TABLEAUX (2003)

Keyphrases

logic programming
case study
high level
modal logic
predicate logic
data driven
semi automatic
numerical methods
numerical solution
finite difference
bounded model checking