An Equational Calculus for Alloy.
Marcelo F. FriasCarlos López PomboNazareno AguirrePublished in: ICFEM (2004)
Keyphrases
- theorem proving
- proof procedure
- theorem prover
- automated deduction
- automated theorem proving
- computer algebra
- equational theories
- horn clauses
- mechanical properties
- natural deduction
- data sets
- data mining
- computer vision
- provably correct
- timed automata
- first order logic
- knowledge base
- artificial intelligence
- learning algorithm
- genetic algorithm
- sequent calculus