Login / Signup
A3PAT, an approach for certified automated termination proofs.
Evelyne Contejean
Andrey Paskevich
Xavier Urbain
Pierre Courtieu
Olivier Pons
Julien Forest
Published in:
PEPM (2010)
Keyphrases
</>
automated theorem provers
semi automated
term rewriting
theorem prover
theorem proving
information systems
semi automatic
formal proof
data sets
search engine
image segmentation
three dimensional
relational databases
context sensitive
fully automated
decision procedures