33825 articles – 26677 Notices  [english version]
.:. Consultation > Par auteur > Alvarado .:.
1 document

restricted file access ELAN for equational reasoning in Coq
Nguyen Q.-H., Alvarado C.
In 2nd Workshop on Logical Frameworks & Metalanguage - LFM'00 (2000) 14 p [inria-00107864 - version 1]