Results 161 to 170 of about 23,621 (170)

Mtac2: Typed Tactics for Backward Reasoning in Coq

2018
Beta Ziliani, Robbert Krebbers, Derek Raymond Dreyer   +2 more
exaly  

Coenzyme Q Supplementation or Over-Expression of the Yeast Coq8 Putative Kinase Stabilizes Multi-Subunit Coq Polypeptide Complexes in Yeast Coq Null Mutants

Biochimica Et Biophysica Acta - Molecular and Cell Biology of Lipids, 2014
Catherine F. Clarke, Letian X Xie
exaly  

Assay to Measure Oxidized and Reduced Forms of CoQ by LC–MS/MS

Methods in Molecular Biology, 2012
Si Houn Hahn, Valeria Vasta
exaly  

Neonatal Liver Failure and Leigh Syndrome Possibly Due to CoQ-Responsive OXPHOS Deficiency

Molecular Genetics and Metabolism, 2003
Tally Lerman-Sagie, Esther Leshinsky-Silver, V Barash   +2 more
exaly  

Ready, Set, Verify! Applying Hs-to-Coq to Real-World Haskell Code (Experience Report)

2018
Yao Li, Stephanie Weirich, Christine Rizkallah   +2 more
exaly  

A Verified Foreign Function Interface Between Coq and C

Andrew Appel, Kathrin Stark
exaly  

CĀPŌ (-ŌNE) (lat.) coq châtré ; coq

2020
openaire   +1 more source

Extraction certifiée dans Coq-en-Coq.

Stud. Inform. Univ., 2009
openaire   +2 more sources

Program in Coq. (Programmer en Coq).

openaire   +1 more source

Solubilized CoQ-10

2012
openaire   +10 more sources