data structures; theorem proving; Coq proof assistant; arbitrary inductive type definition; catamorphism composition rewriting; catamorphism generation; functional specifications; fusion theorem; higher-order functions; inductive data structure; recursively traverse; sufficient conditions; Automation; Calculus; Cognition; Context; Data structures; Distance measurement; Vegetation; Catamorphism; Category theory; Coq; Fusion theorem; Interactive theorem prover; Program derivation;
机译:患有辅酶Q10缺乏症且在COQ4基因中存在杂合突变的患者的iPSC系的生成,基因组编辑和表征-ScienceDirect
机译:辅酶Q同源物对线粒体产生活性氧的影响
机译:辅酶Q同源物对线粒体产生活性氧的影响
机译:使用CAQ的红星生成和融合
机译:涉及用于高级超超临界发电的合金的熔焊的组织演变和蠕变断裂行为。
机译:新的M2e-HA2融合嵌合肽的产生以开发重组融合蛋白疫苗。
机译:使用单数化和单数化的COQ中安全的低级代码生成