Conference item icon

Conference item

A reflection−based proof tactic for lattices in Coq

Actions


Authors


Publisher:
Intellect
Publication date:
2010-01-01
URN:
uuid:46ba63f6-66c0-48e4-bec6-0921f295bfc1
Local pid:
cs:4861
ISBN:
ISBN 978-1-84150-158-1

Terms of use


Metrics


Views and Downloads






If you are the owner of this record, you can report an update to it here: Report update to this record

TO TOP