'COQ COQ'

被引：0

作者：

GULLAR, F

机构：

来源：

QUINZAINE LITTERAIRE | 1987年 / 484期

关键词：

D O I：

暂无

中图分类号：

I [文学];

学科分类号：

05 ;

摘要：

引用

页码：16 / 16

页数：1

共 50 条

[31] Extraction in Coq: An overview
Letouzey, Pierre
LOGIC AND THEORY OF ALGORITHMS, 2008, 5028 : 359 - 369
[32] Program Calculation in Coq
Tesson, Julien
Hashimoto, Hideki
Hu, Zhenjiang
Loulergue, Frederic
Takeichi, Masato
ALGEBRAIC METHODOLOGY AND SOFTWARE TECHNOLOGY, 2011, 6486 : 163 - +
[33] Proof Reflection in Coq
Dimitri Hendriks
Journal of Automated Reasoning, 2002, 29 : 277 - 307
[34] LE COQ D'OR
van Moere, Didier
AVANT SCENE OPERA, 2012, (267): : 111 - 111
[35] KAT and PHL in Coq
Pereira, David
Moreira, Nelma
COMPUTER SCIENCE AND INFORMATION SYSTEMS, 2008, 5 (02) : 137 - 160
[36] LE COQ D'OR
van Moere, Didier
AVANT SCENE OPERA, 2011, (262): : 110 - 110
[37] Modules in Coq are and will be correct
Chrzaszcz, J
TYPES FOR PROOFS AND PROGRAMS, 2004, 3085 : 130 - 146
[38] Is CoQ a membrane stabilizer?
Clarke, Catherine F.
Rowat, Amy C.
Gober, James W.
NATURE CHEMICAL BIOLOGY, 2014, 10 (04) : 242 - 243
[39] While Loops in Coq
Nowak, David
Rusu, Vlad
ELECTRONIC PROCEEDINGS IN THEORETICAL COMPUTER SCIENCE, 2023, 389 : 96 - 109
[40] Le Coq d'or
Wellner, Christoph
OSTERREICHISCHE MUSIKZEITSCHRIFT, 2012, 67 (05): : 106 - 109