Formalizing and Implementing a Reflexive Tactic for Automated Deduction in Coq

stephane lescuyer
stephane lescuyer
tactique reflexive
tactique reflexive
pierre cregut
pierre cregut
hugo herbelin
hugo herbelin
sava krstic
sava krstic
burkhart wolff
burkhart wolff

2011.

Cited by: 0|Bibtex|Views3|

Code:

Data:

Your rating :
0

 

Tags
Comments