The Incredible ELK
- 期刊名称Journal of Automated Reasoning
- 作者Kazakov, Yevgeny; Krötzsch, Markus; Simančík, František
- 卷第53卷
- 期第1期
- 印刷ISSN0168-7433
- 电子ISSN1573-0670
- 文件大小2692.15KB
- 发表时间2014-06-17
- DOI10.1007/s10817-013-9296-3
- 页码1-61
Book reviewsRichard E. Barrett; Thomas K. Rudel; Stephen B. Brush; Tim W. Clark · 1993
On the functional orgins of essentialismH. Clark Barrett · 2001
Inner city disadvantage and family functioningA. F. Clark; L. Barrett; I. Kolvin · 2000
Validating More Loop OptimizationsYing Hu; Clark Barrett; Benjamin Goldberg; Amir Pnueli · 2005
Enzymatic Computation and Cognitive ModularityH. Clark Barrett · 2005
Centrosomes and cancerJeffrey L Salisbury; Clark M Whitehead; Wilma L Lingle; Susan L Barrett · 1999
Centrosomes and cancerJeffrey L Salisbury; Clark M Whitehead; Wilma L Lingle; Susan L Barrett · 1999
Rise of the humansH. Clark Barrett · 2004
The Incredible ELKKazakov, Yevgeny; Krötzsch, Markus; Simančík, František · Journal of Automated Reasoning · 2014
Labelings for Decreasing DiagramsZankl, Harald; Felgenhauer, Bertram; Middeldorp, Aart · Journal of Automated Reasoning · 2015
Absorption for ABoxesWu, Jiewen; Hudek, Alexander; Toman, David; Weddell, Grant · Journal of Automated Reasoning · 2014
Definitional Expansions in MizarKorniłowicz, Artur · Journal of Automated Reasoning · 2015
Reverse ComplexityAsperti, Andrea · Journal of Automated Reasoning · 2015
An Experiment with Satisfiability Modulo SATZhang, Hantao · Journal of Automated Reasoning · 2016
MizAR 40 for Mizar 40Kaliszyk, Cezary; Urban, Josef · Journal of Automated Reasoning · 2015
Mark Stickel: His Earliest WorkLoveland, Donald W. · Journal of Automated Reasoning · 2016