SPIKE, an automatic theorem prover—revisited

S Stratulat - 2020 22nd International Symposium on Symbolic …, 2020 - ieeexplore.ieee.org
SPIKE, an induction-based theorem prover built to reason on conditional theories with
equality, is one of the few formal tools able to perform automatically mutual and lazy …
被引用次数：7 相关文章
[PDF] archive.org

[PDF][PDF] SPIKE, an automatic theorem prover–revisited

S Stratulat - scholar.archive.org
SPIKE, an induction-based theorem prover built to reason on conditional theories with
equality, is one of the few formal tools able to perform automatically mutual and lazy …

SPIKE, an automatic theorem prover--revisited

S Stratulat - … 22nd International Symposium on Symbolic and …, 2020 - hal.science
SPIKE, an induction-based theorem prover built to reason on conditional theories with
equality, is one of the few formal tools able to perform automatically mutual and lazy …

SPIKE, an automatic theorem prover—revisited

S Stratulat - 2020 22nd International Symposium on Symbolic and …, 2020 - computer.org
SPIKE, an induction-based theorem prover built to reason on conditional theories with
equality, is one of the few formal tools able to perform automatically mutual and lazy …

SPIKE, an automatic theorem prover--revisited

S Stratulat - … 22nd International Symposium on Symbolic and …, 2020 - inria.hal.science
SPIKE, an induction-based theorem prover built to reason on conditional theories with
equality, is one of the few formal tools able to perform automatically mutual and lazy …
[PDF] hal.science

[PDF][PDF] SPIKE, an automatic theorem prover–revisited

S Stratulat - hal.science
SPIKE, an induction-based theorem prover built to reason on conditional theories with
equality, is one of the few formal tools able to perform automatically mutual and lazy …