A Declarative Language for the Coq Proof Assistant

Authors :: Schneider, Klaus
Brandt, Jens
Corbineau, P.H.J.M.
Schneider, Klaus
Brandt, Jens
Corbineau, P.H.J.M.
Source :: Schneider, Klaus; Brandt, Jens (ed.), Theorem Proving in Higher Order Logics: Emerging Trends Proceedings; 3540745904; ; 364/07; Schneider, Klaus; Brandt, Jens (ed.), Theorem Proving in Higher Order Logics: Emerging Trends Proceedings~~~~~3540745904~~~~; 364/07~
Publication Year :: 2007
Abstract: Item does not contain fulltext

Database :: OAIster
Journal :: Schneider, Klaus; Brandt, Jens (ed.), Theorem Proving in Higher Order Logics: Emerging Trends Proceedings; 3540745904; ; 364/07; Schneider, Klaus; Brandt, Jens (ed.), Theorem Proving in Higher Order Logics: Emerging Trends Proceedings~~~~~3540745904~~~~; 364/07~
Publication Type :: Electronic Resource
Accession number :: edsoai.on1366916169
Document Type :: Electronic Resource