|
 
|
[DEL00] A Tactic Language for the System Coq
Conférence Internationale avec comité de lecture : Proceedings of Logic for Programming and Automated Reasoning (LPAR), Reunion Island (France), January 2000, Vol. 1955, pp.85-95, Series LNCS/LNAI,
motcle:
BibTeX
| @inproceedings { | |||
| DEL00, | |||
| title | = | "{A Tactic Language for the System Coq}", | |
| author | = | " D. Delahaye ", | |
| booktitle | = | "{Proceedings of Logic for Programming and Automated Reasoning (LPAR), Reunion Island (France)}", | |
| year | = | 2000, | |
| month | = | "January", | |
| series | = | "LNCS/LNAI", | |
| volume | = | 1955, | |
| pages | = | "85-95", | |
| } | |||
