There is no fulltext present in this item.

Find Full text  
Title: A Declarative Language for the Coq Proof Assistant
Author(s): Corbineau, P.H.J.M.
Publication year: 2007
In: Schneider, Klaus; Brandt, Jens (ed.), Theorem Proving in Higher Order Logics: Emerging Trends Proceedings
Publisher: Berlin ; New York : Springer
ISBN: 3540745904
Publication type: Article in monograph or in proceedings

Please use this identifier to cite or link to this item : https://hdl.handle.net/2066/34445   https://hdl.handle.net/2066/34445

Display more details
Editor(s): Schneider, Klaus; Brandt, Jens
Subject: Foundations
Organization: Foundations
Book title: Schneider, Klaus; Brandt, Jens (ed.), Theorem Proving in Higher Order Logics: Emerging Trends Proceedings

This item appears in the following Collection(s)

Browse

Statistics