Login / Signup
Proof-Producing Program Analysis.
Amine Chaieb
Published in:
ICTAC (2006)
Keyphrases
</>
high quality
theorem prover
proof planning
theorem proving
image sequences
linear logic
data sets
data mining
genetic algorithm
information systems
search algorithm
information technology
natural deduction
complete axiomatization
interactive theorem proving